| Class | Description |
|---|---|
| AstToGreenExprVisitor |
This is a visitor class that Translate expression in RangerIR to te appropriate Green expression.
|
| AstToGreenVisitor |
Main visitor that visits all statements and translate them to the appropriate green expression.
|
| FieldArrayVarToSPFVarVisitor |
A visitor that visits all FieldRefVarExpr and generates the appropriate SPF symbolic variable based on its type.
|
| NoSkipVisitor | |
| WalaVarToSPFVarVisitor |
A visitor that visits all WalaVarExp and generate the appropriate SPF symbolic variable depending on its type.
|