Package gw.internal.gosu.ir.compiler.verifier

Class IRTreeVerifier

  • public class IRTreeVerifier
extends java.lang.Object

    • Field Detail

      • _errors

        private java.util.List<java.lang.String> _errors

      • _enclosingClass

        private IRClass _enclosingClass

    • Constructor Detail

      • IRTreeVerifier

        public IRTreeVerifier()

    • Method Detail

      • getErrors

        public java.util.List<java.lang.String> getErrors()

      • printErrors

        public void printErrors()

      • verifyClassStatement

        public void verifyClassStatement​(IRClass irClass)

      • verifyIRElement

        private void verifyIRElement​(IRElement element)

      • verifyIRStatement

        private void verifyIRStatement​(IRStatement statement)

      • verifyIRSwitchStatement

        private void verifyIRSwitchStatement​(IRSwitchStatement irSwitchStatement)

      • verifyIRIRMonitorLockAcquireStatement

        private void verifyIRIRMonitorLockAcquireStatement​(IRMonitorLockAcquireStatement irMonitorLockAcquireStatement)

      • verifyIRIRMonitorLockReleaseStatement

        private void verifyIRIRMonitorLockReleaseStatement​(IRMonitorLockReleaseStatement irMonitorLockReleaseStatement)

      • verifyIRDoWhileStatement

        private void verifyIRDoWhileStatement​(IRDoWhileStatement irDoWhileLoopStatement)

      • verifyIRWhileStatement

        private void verifyIRWhileStatement​(IRWhileStatement irWhileLoopStatement)

      • verifyIRContinueStatement

        private void verifyIRContinueStatement​(IRContinueStatement irContinueStatement)

      • verifyIRBreakStatement

        private void verifyIRBreakStatement​(IRBreakStatement irBreakStatement)

      • verifyIREvalStatement

        private void verifyIREvalStatement​(IREvalStatement evalStmt)

      • verifyIRForEachStatement

        private void verifyIRForEachStatement​(IRForEachStatement irForLoopStatement)

      • verifyIRSyntheticStatement

        private void verifyIRSyntheticStatement​(IRSyntheticStatement irSyntheticStatement)

      • verifyIRTryCatchFinallyStatement

        private void verifyIRTryCatchFinallyStatement​(IRTryCatchFinallyStatement irTryCatchFinallyStatement)

      • verifyIRThrowStatement

        private void verifyIRThrowStatement​(IRThrowStatement irThrowStatement)

      • verifyIRArrayStoreStatement

        private void verifyIRArrayStoreStatement​(IRArrayStoreStatement irArrayStoreStatement)

      • verifyIRFieldSetStatement

        private void verifyIRFieldSetStatement​(IRFieldSetStatement irFieldSetStatement)

      • verifyIRIfStatement

        private void verifyIRIfStatement​(IRIfStatement irIfStatement)

      • verifyIRMethodCallStatement

        private void verifyIRMethodCallStatement​(IRMethodCallStatement irMethodCallStatement)

      • verifyIRNoOpStatement

        private void verifyIRNoOpStatement​(IRNoOpStatement irNoOpStatement)

      • verifyIRReturnStatement

        private void verifyIRReturnStatement​(IRReturnStatement irReturnStatement)

      • verifyIRStatementList

        private void verifyIRStatementList​(IRStatementList irStatementList)

      • verifyIRAssignmentStatement

        private void verifyIRAssignmentStatement​(IRAssignmentStatement irAssignmentStatement)

      • verifyIRExpression

        private void verifyIRExpression​(IRExpression expression)

      • verifyIRNewMultiDimensionalArrayExpression

        private void verifyIRNewMultiDimensionalArrayExpression​(IRNewMultiDimensionalArrayExpression irNewMultiDimensionalArrayExpression)

      • verifyIRInstanceOfExpression

        private void verifyIRInstanceOfExpression​(IRInstanceOfExpression irInstanceOfExpression)

      • verifyIRNotExpression

        private void verifyIRNotExpression​(IRNotExpression irNotExpression)

      • verifyIRClassLiteral

        private void verifyIRClassLiteral​(IRClassLiteral irClassLiteral)

      • verifyIRArrayLengthExpression

        private void verifyIRArrayLengthExpression​(IRArrayLengthExpression irArrayLengthExpression)

      • verifyIRConditionalAndExpression

        private void verifyIRConditionalAndExpression​(IRConditionalAndExpression irConditionalAndExpression)

      • verifyIRConditionalOrExpression

        private void verifyIRConditionalOrExpression​(IRConditionalOrExpression irConditionalOrExpression)

      • verifyIRNegationExpression

        private void verifyIRNegationExpression​(IRNegationExpression irNegationExpression)

      • verifyIRRelationalExpression

        private void verifyIRRelationalExpression​(IRRelationalExpression irRelationalExpression)

      • verifyIRNewExpression

        private void verifyIRNewExpression​(IRNewExpression irNewExpression)

      • verifyIRCastExpression

        private void verifyIRCastExpression​(IRCastExpression irCastExpression)

      • verifyIRNewArrayExpression

        private void verifyIRNewArrayExpression​(IRNewArrayExpression irNewArrayExpression)

      • verifyIRStringLiteralExpression

        private void verifyIRStringLiteralExpression​(IRStringLiteralExpression irStringLiteralExpression)

      • verifyIRNumericLiteral

        private void verifyIRNumericLiteral​(IRNumericLiteral irNumericLiteral)

      • verifyIRCharacterLiteral

        private void verifyIRCharacterLiteral​(IRCharacterLiteral irNumericLiteral)

      • verifyIRAdditiveExpression

        private void verifyIRAdditiveExpression​(IRArithmeticExpression irAdditiveExpression)

      • verifyIRArrayLoadExpression

        private void verifyIRArrayLoadExpression​(IRArrayLoadExpression irArrayLoadExpression)

      • verifyIRBooleanLiteral

        private void verifyIRBooleanLiteral​(IRBooleanLiteral irBooleanLiteral)

      • verifyIRCompositeExpression

        private void verifyIRCompositeExpression​(IRCompositeExpression irCompositeExpression)

      • verifyIREqualityExpression

        private void verifyIREqualityExpression​(IREqualityExpression irEqualityExpression)

      • verifyIRFieldGetExpression

        private void verifyIRFieldGetExpression​(IRFieldGetExpression irFieldGetExpression)

      • verifyIRIdentifier

        private void verifyIRIdentifier​(IRIdentifier irIdentifier)

      • verifyIRMethodCallExpression

        private void verifyIRMethodCallExpression​(IRMethodCallExpression irMethodCallExpression)

      • verifyIRNullLiteral

        private void verifyIRNullLiteral​(IRNullLiteral irNullLiteral)

      • verifyIRPrimitiveTypeConversion

        private void verifyIRPrimitiveTypeConversion​(IRPrimitiveTypeConversion irPrimitiveTypeConversion)

      • verifyIRTernaryExpression

        private void verifyIRTernaryExpression​(IRTernaryExpression irTernaryExpression)

      • verifyIRFieldDecl

        private void verifyIRFieldDecl​(IRFieldDecl fieldDecl)

      • verifyIRMethodStatement

        private void verifyIRMethodStatement​(IRMethodStatement methodStatement)

      • printElement

        private java.lang.String printElement​(IRElement element)

      • error

        private void error​(java.lang.String message,
                   IRElement element)

      • verifyTypeAgreement

        private void verifyTypeAgreement​(java.util.List<IRType> parameterTypes,
                                 java.util.List<IRExpression> arguments,
                                 IRElement element)

      • verifyParentIsSet

        private void verifyParentIsSet​(IRElement element)

      • verifyExpressionIsOfType

        private boolean verifyExpressionIsOfType​(IRType type,
                                         IRExpression expression)

      • isIntType

        private boolean isIntType​(IRType type)

      • getEnclosingStatement

        private java.lang.String getEnclosingStatement​(IRElement originalElement)