Class IRTreeVerifier
java.lang.Object
gw.internal.gosu.ir.compiler.verifier.IRTreeVerifier
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate void
private String
getEnclosingStatement
(IRElement originalElement) private boolean
private String
printElement
(IRElement element) void
void
verifyClassStatement
(IRClass irClass) private boolean
verifyExpressionIsOfType
(IRType type, IRExpression expression) private void
verifyIRAdditiveExpression
(IRArithmeticExpression irAdditiveExpression) private void
verifyIRArrayLengthExpression
(IRArrayLengthExpression irArrayLengthExpression) private void
verifyIRArrayLoadExpression
(IRArrayLoadExpression irArrayLoadExpression) private void
verifyIRArrayStoreStatement
(IRArrayStoreStatement irArrayStoreStatement) private void
verifyIRAssignmentStatement
(IRAssignmentStatement irAssignmentStatement) private void
verifyIRBooleanLiteral
(IRBooleanLiteral irBooleanLiteral) private void
verifyIRBreakStatement
(IRBreakStatement irBreakStatement) private void
verifyIRCastExpression
(IRCastExpression irCastExpression) private void
verifyIRCharacterLiteral
(IRCharacterLiteral irNumericLiteral) private void
verifyIRClassLiteral
(IRClassLiteral irClassLiteral) private void
verifyIRCompositeExpression
(IRCompositeExpression irCompositeExpression) private void
verifyIRConditionalAndExpression
(IRConditionalAndExpression irConditionalAndExpression) private void
verifyIRConditionalOrExpression
(IRConditionalOrExpression irConditionalOrExpression) private void
verifyIRContinueStatement
(IRContinueStatement irContinueStatement) private void
verifyIRDoWhileStatement
(IRDoWhileStatement irDoWhileLoopStatement) private void
verifyIRElement
(IRElement element) private void
verifyIREqualityExpression
(IREqualityExpression irEqualityExpression) private void
verifyIREvalStatement
(IREvalStatement evalStmt) private void
verifyIRExpression
(IRExpression expression) private void
verifyIRFieldDecl
(IRFieldDecl fieldDecl) private void
verifyIRFieldGetExpression
(IRFieldGetExpression irFieldGetExpression) private void
verifyIRFieldSetStatement
(IRFieldSetStatement irFieldSetStatement) private void
verifyIRForEachStatement
(IRForEachStatement irForLoopStatement) private void
verifyIRIdentifier
(IRIdentifier irIdentifier) private void
verifyIRIfStatement
(IRIfStatement irIfStatement) private void
verifyIRInstanceOfExpression
(IRInstanceOfExpression irInstanceOfExpression) private void
verifyIRIRMonitorLockAcquireStatement
(IRMonitorLockAcquireStatement irMonitorLockAcquireStatement) private void
verifyIRIRMonitorLockReleaseStatement
(IRMonitorLockReleaseStatement irMonitorLockReleaseStatement) private void
verifyIRMethodCallExpression
(IRMethodCallExpression irMethodCallExpression) private void
verifyIRMethodCallStatement
(IRMethodCallStatement irMethodCallStatement) private void
verifyIRMethodStatement
(IRMethodStatement methodStatement) private void
verifyIRNegationExpression
(IRNegationExpression irNegationExpression) private void
verifyIRNewArrayExpression
(IRNewArrayExpression irNewArrayExpression) private void
verifyIRNewExpression
(IRNewExpression irNewExpression) private void
verifyIRNewMultiDimensionalArrayExpression
(IRNewMultiDimensionalArrayExpression irNewMultiDimensionalArrayExpression) private void
verifyIRNoOpStatement
(IRNoOpStatement irNoOpStatement) private void
verifyIRNotExpression
(IRNotExpression irNotExpression) private void
verifyIRNullLiteral
(IRNullLiteral irNullLiteral) private void
verifyIRNumericLiteral
(IRNumericLiteral irNumericLiteral) private void
verifyIRPrimitiveTypeConversion
(IRPrimitiveTypeConversion irPrimitiveTypeConversion) private void
verifyIRRelationalExpression
(IRRelationalExpression irRelationalExpression) private void
verifyIRReturnStatement
(IRReturnStatement irReturnStatement) private void
verifyIRStatement
(IRStatement statement) private void
verifyIRStatementList
(IRStatementList irStatementList) private void
verifyIRStringLiteralExpression
(IRStringLiteralExpression irStringLiteralExpression) private void
verifyIRSwitchStatement
(IRSwitchStatement irSwitchStatement) private void
verifyIRSyntheticStatement
(IRSyntheticStatement irSyntheticStatement) private void
verifyIRTernaryExpression
(IRTernaryExpression irTernaryExpression) private void
verifyIRThrowStatement
(IRThrowStatement irThrowStatement) private void
verifyIRTryCatchFinallyStatement
(IRTryCatchFinallyStatement irTryCatchFinallyStatement) private void
verifyIRWhileStatement
(IRWhileStatement irWhileLoopStatement) private void
verifyParentIsSet
(IRElement element) private void
verifyTypeAgreement
(List<IRType> parameterTypes, List<IRExpression> arguments, IRElement element)
-
Field Details
-
_errors
-
_enclosingMethodStatement
-
_enclosingClass
-
-
Constructor Details
-
IRTreeVerifier
public IRTreeVerifier()
-
-
Method Details
-
getErrors
-
printErrors
public void printErrors() -
verifyClassStatement
-
verifyIRElement
-
verifyIRStatement
-
verifyIRSwitchStatement
-
verifyIRIRMonitorLockAcquireStatement
private void verifyIRIRMonitorLockAcquireStatement(IRMonitorLockAcquireStatement irMonitorLockAcquireStatement) -
verifyIRIRMonitorLockReleaseStatement
private void verifyIRIRMonitorLockReleaseStatement(IRMonitorLockReleaseStatement irMonitorLockReleaseStatement) -
verifyIRDoWhileStatement
-
verifyIRWhileStatement
-
verifyIRContinueStatement
-
verifyIRBreakStatement
-
verifyIREvalStatement
-
verifyIRForEachStatement
-
verifyIRSyntheticStatement
-
verifyIRTryCatchFinallyStatement
private void verifyIRTryCatchFinallyStatement(IRTryCatchFinallyStatement irTryCatchFinallyStatement) -
verifyIRThrowStatement
-
verifyIRArrayStoreStatement
-
verifyIRFieldSetStatement
-
verifyIRIfStatement
-
verifyIRMethodCallStatement
-
verifyIRNoOpStatement
-
verifyIRReturnStatement
-
verifyIRStatementList
-
verifyIRAssignmentStatement
-
verifyIRExpression
-
verifyIRNewMultiDimensionalArrayExpression
private void verifyIRNewMultiDimensionalArrayExpression(IRNewMultiDimensionalArrayExpression irNewMultiDimensionalArrayExpression) -
verifyIRInstanceOfExpression
-
verifyIRNotExpression
-
verifyIRClassLiteral
-
verifyIRArrayLengthExpression
-
verifyIRConditionalAndExpression
private void verifyIRConditionalAndExpression(IRConditionalAndExpression irConditionalAndExpression) -
verifyIRConditionalOrExpression
-
verifyIRNegationExpression
-
verifyIRRelationalExpression
-
verifyIRNewExpression
-
verifyIRCastExpression
-
verifyIRNewArrayExpression
-
verifyIRStringLiteralExpression
-
verifyIRNumericLiteral
-
verifyIRCharacterLiteral
-
verifyIRAdditiveExpression
-
verifyIRArrayLoadExpression
-
verifyIRBooleanLiteral
-
verifyIRCompositeExpression
-
verifyIREqualityExpression
-
verifyIRFieldGetExpression
-
verifyIRIdentifier
-
verifyIRMethodCallExpression
-
verifyIRNullLiteral
-
verifyIRPrimitiveTypeConversion
-
verifyIRTernaryExpression
-
verifyIRFieldDecl
-
verifyIRMethodStatement
-
printElement
-
error
-
verifyTypeAgreement
private void verifyTypeAgreement(List<IRType> parameterTypes, List<IRExpression> arguments, IRElement element) -
verifyParentIsSet
-
verifyExpressionIsOfType
-
isIntType
-
getEnclosingStatement
-