Package Raptor.ProgramParser.Statements

Class Summary

AndTerm
Assignment	An assignment instruction.
BoolTerm
BVar
If	An if instruction.
Instruction	Abstract class to represent different instructions.
Method	Creates a method term.
MethodDeclaration	Creates a Method Declaration.
PArray	A program array term.
PLVar	Creates an length variable term for an array used in the proof.
PNum	Creates a number program term.
ProgramComment	A comment.
PTerm	Abstract class to respresent all terms in programs.
PVar	A variable program term.
Skip	A skip instruction.
Statements	Creates statements, which are seperated by a semicolon.
VoidMethod
WArray
While	A while instruction.