Package compilation.analysis.semantic

Contains classes for the semantic analysis of the source code.

The classes contained within this package are used for performing semantic analysis on the source code, using the TypeChecker to generate an AnnotatedParseTree object comprised of the root AnnotatedStatement.

Since:

1.0

Interface Summary

Interface	Description
AnnotatedExpression	The AnnotatedExpression interface is used to represent annotated expressions declared during compilation.
AnnotatedOperator	The AnnotatedOperator interface is used to represent annotated operators declared during compilation.
AnnotatedStatement	The AnnotatedStatement interface is used to represent annotated statements declared during compilation.

Class Summary

Class	Description
AnnotatedAssignmentExpression	The AnnotatedAssignmentExpression class is used to store information about annotated assignment expressions declared during compilation.
AnnotatedAssignmentOperator	The AnnotatedAssignmentOperator class is used to store information about annotated assignment operators declared during compilation.
AnnotatedBinaryExpression	The AnnotatedBinaryExpression class is used to store information about annotated binary expressions declared during compilation.
AnnotatedBinaryOperator	The AnnotatedBinaryOperator class is used to store information about annotated binary operators declared during compilation.
AnnotatedBlockStatement	The AnnotatedBlockStatement class is used to store information about annotated block statements declared during compilation.
AnnotatedConditionalStatement	The AnnotatedConditionalStatement class is used to store information about annotated conditional statements declared during compilation.
AnnotatedExpressionStatement	The AnnotatedExpressionStatement class is used to store information about annotated expression statements declared during compilation.
AnnotatedIdentifierExpression	The AnnotatedIdentifierExpression class is used to store information about annotated identifier expressions declared during compilation.
AnnotatedLiteralExpression	The AnnotatedLiteralExpression class is used to store information about annotated literal expressions declared during compilation.
AnnotatedLoopStatement	The AnnotatedLoopStatement class is used to store information about annotated loop statements declared during compilation.
AnnotatedParseTree	The ParseTree class is used to hold the root AnnotatedStatement generated by the TypeChecker.
AnnotatedSourceStatement	The AnnotatedSourceStatement class is used to store information about the entire source code once its been annotated during compilation.
AnnotatedUnaryExpression	The AnnotatedUnaryExpression class is used to store information about annotated unary expressions declared during compilation.
AnnotatedUnaryOperator	The AnnotatedUnaryOperator class is used to store information about annotated unary operators declared during compilation.
TypeBinder	The TypeBinder class is used to identify if an operator and operand(s) are compatible with one another.
TypeChecker	The TypeChecker class is responsible for performing semantic analysis on a ParseTree, discovering whether or not the data types used together within statements are compatible with one another.