Definition.       Symbolic model weaver.

Let X be a node in a parse tree. A symbolic model weaver is a process to convert each X into a symbolic model notation Y, where Y is an atom (source code atom) and the arguments of its command are created using the Symbolic-to-Atomic conversion. See TABLE below.

TABLE 1             The logic behind the symbolic model weaver.

Clause The new element type (E) Arguments
classDef(ClassName, Modifiers, SuperClass*, Code) SymbolicDefElement::newClass Super classes are class references and class members are members of the new element (E).
methoddef(Name, Modifiers, ArgList, Code) SymbolicDefElement:: newMethod Method arguments are elements.
varDef(Name,  Suffix,..) SymbolicDefElement::newVar If the variable is a table then the suffix contains weaved arguments.
Constructors SymbolicObjectElement::new() A side effect element is created. Its  class name is replaced by the element handle (E) Weaved arguments
Loops SymbolicLoopElement::new Weaved arguments
If and other conditions SymbolicPathElement::new Weaved arguments
Math.logical operations SymbolicOpElement::new Weaved arguments
Method call Method name is replaced by the element handle (E) Weaved arguments
Assignment The variable is replaced by the element handle (E). An optional suffix is weaved. The right side is weaved.
Other types Direct substitution