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

Class IRTreeVerifier

java.lang.Object
gw.internal.gosu.ir.compiler.verifier.IRTreeVerifier
public class IRTreeVerifier extends Object

  • Field Details

    • _errors

      private List<String> _errors

    • _enclosingMethodStatement

      private IRMethodStatement _enclosingMethodStatement

    • _enclosingClass

      private IRClass _enclosingClass

  • Constructor Details

    • IRTreeVerifier

      public IRTreeVerifier()

  • Method Details

    • getErrors

      public List<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 String printElement(IRElement element)

    • error

      private void error(String message, IRElement element)

    • verifyTypeAgreement

      private void verifyTypeAgreement(List<IRType> parameterTypes, 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 String getEnclosingStatement(IRElement originalElement)