fmrisc.ProgramExplorer.Syntax.Program

Interface ASTProgram

All Superinterfaces:

AST

All Known Subinterfaces:

ASTProgramAnnotated, CompilationUnit, Import, LoopStatement, ParamDeclaration, ProgramAnnotation, ProgramDeclaration, Selector, Specification, Statement, TopDeclaration, TypeExpression, ValueExpression

All Known Implementing Classes:

AndExpression, ArrayType, AssertionStatement, AssignCallStatement, AssignmentStatement, AssignNewStatement, ASTProgramAnnotatedBase, BinaryValueExpression, BlockStatement, BooleanLiteral, BooleanType, BreakStatement, CallStatement, CharLiteral, CharType, ClassDeclaration, ClassImport, ClassMethodDeclaration, ClassSpec, ClassVariableDeclaration, CompilationUnitBase, ConditionalStatement, ConstructorDeclaration, ContinueStatement, DeclarationBase, DeclCallStatement, DeclNewStatement, DividesExpression, EmptyStatement, EqualsExpression, ExceptionType, ForLoopStatement, GlobalVariableDeclaration, GreaterEqualExpression, GreaterExpression, IdentifierSelector, ImportBase, IndexSelector, IntLiteral, IntType, LessEqualExpression, LessExpression, LoopSpec, LoopStatementBase, MessageSelector, MethodDeclaration, MethodSpec, MinusExpression, NamedType, NegationExpression, NewArrayExpression, NewType, NotEqualsExpression, NotExpression, NullLiteral, NullType, ObjectMethodDeclaration, ObjectVariableDeclaration, OrExpression, PackageImport, ParamDeclarationBase, Parameter, PercentExpression, PlusExpression, PrimitiveType, ProgramAnnotationBase, ReturnStatement, SelectorBase, SelectorExpression, SpecificationBase, StatementBase, StatementSpec, StringLiteral, StringType, TheoryDeclaration, ThrowStatement, TimesExpression, TopDeclarationBase, TryCatchStatement, UnaryValueExpression, UnitSpec, ValueExpressionBase, VariableDeclarationBase, VariableStatement, VariableValue, VoidCallStatement, VoidType, WhileLoopStatement

public interface ASTProgram
extends AST

Interface to abstract syntax trees of programs.

Method Summary

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.AST

accept, accept, acceptChildren, print, printCore, toString, toStringCore