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)