Some conversions are shown below.

TABLE             Conversion table between Java and Symbolic.

Some sample conversions Java Symbolic
Class class def(classDef(…))
Attribute/Field field def(attrDef(…))
Method method def(methodDef(…))
Statement statement depends on the Statement
Expression expression opClause
Reference reference refClause
Assignment statement setClause
Method invocation expression getClause
Class creator creator expression creatorClause