mini java Type check test case

miniJava
........\.classpath
........\src
........\...\minijava
........\...\........\MiniJavaParser.java
........\...\........\visitor
........\...\........\.......\GJNoArguDepthFirst.java
........\...\........\.......\GJVoidVisitor.java
........\...\........\.......\GJDepthFirst.java
........\...\........\.......\VisitorArgu.java
........\...\........\.......\GJVisitor.java
........\...\........\.......\TreeDumper.java
........\...\........\.......\GJVoidDepthFirst.java
........\...\........\.......\VisitorRetValue.java
........\...\........\.......\TreeFormatter.java
........\...\........\.......\Visitor.java
........\...\........\.......\GJNoArguVisitor.java
........\...\........\.......\DepthFirstVisitor.java
........\...\........\syntaxtree
........\...\........\..........\Goal.java
........\...\........\..........\Node.java
........\...\........\..........\Identifier.java
........\...\........\..........\FormalParameterList.java
........\...\........\..........\AllocationExpression.java
........\...\........\..........\ArrayLength.java
........\...\........\..........\NodeToken.java
........\...\........\..........\ExpressionList.java
........\...\........\..........\FormalParameter.java
........\...\........\..........\ArrayLookup.java
........\...\........\..........\IntegerType.java
........\...\........\..........\NodeListOptional.java
........\...\........\..........\ExpressionRest.java
........\...\........\..........\ArrayType.java
........\...\........\..........\Expression.java
........\...\........\..........\BooleanType.java
........\...\........\..........\TrueLiteral.java
........\...\........\..........\NodeChoice.java
........\...\........\..........\NodeListInterface.java
........\...\........\..........\NodeList.java
........\...\........\..........\MainClass.java
........\...\........\..........\CompareExpression.java
........\...\........\..........\TimesExpression.java
........\...\........\..........\WhileStatement.java
........\...\........\..........\NodeOptional.java
........\...\........\..........\ClassExtendsDeclaration.java
........\...\........\..........\MethodDeclaration.java
........\...\........\..........\ArrayAssignmentStatement.java
........\...\........\..........\PrimaryExpression.java
........\...\........\..........\MinusExpression.java
........\...\........\..........\Block.java
........\...\........\..........\VarDeclaration.java
........\...\........\..........\NotExpression.java
........\...\........\..........\IfStatement.java
........\...\........\..........\Statement.java
........\...\........\..........\PlusExpression.java
........\...\........\..........\BracketExpression.java
........\...\........\..........\ClassDeclaration.java
........\...\........\..........\AssignmentStatement.java
........\...\........\..........\PrintStatement.java
........\...\........\..........\MessageSend.java
........\...\........\..........\TypeDeclaration.java
........\...\........\..........\FormalParameterRest.java
........\...\........\..........\Type.java
........\...\........\..........\ArrayAllocationExpression.java
........\...\........\..........\NodeSequence.java
........\...\........\..........\FalseLiteral.java
........\...\........\..........\ThisExpression.java
........\...\........\..........\IntegerLiteral.java
........\...\........\..........\AndExpression.java
........\...\........\MiniJavaParserTokenManager.java
........\...\........\JavaCharStream.java
........\...\........\typecheck
........\...\........\.........\CheckRules.java
........\...\........\.........\OtherTypeCheck.java
........\...\........\.........\NodePositionResolution.java
........\...\........\.........\SymbolTableCreator.java
........\...\........\.........\Main.java
........\...\........\.........\Position.java
........\...\........\Token.java
........\...\........\MiniJavaParserConstants.java
........\...\........\ParseException.java
........\...\........\TokenMgrError.java
........\...\........\symbols
........\...\........\.......\MParamList.java
........\...\........\.......\MClasses.jav

• We are an exchange download platform that only provides communication channels. The downloaded content comes from the internet. Except for download issues, please Google on your own.
• The downloaded content is provided for members to upload. If it unintentionally infringes on your copyright, please contact us.
• Please use Winrar for decompression tools
• If download fail, Try it againg or Feedback to us.
• If downloaded content did not match the introduction, Feedback to us，Confirm and will be refund.
• Before downloading, you can inquire through the uploaded person information

Nothing．