public void Run()
{
// VarAssignmentNotAllowedHereError
RemainingSyntaxErrorsDetectionVisitor remainingSyntaxErrorsDetectionVisitor = new RemainingSyntaxErrorsDetectionVisitor();
remainingSyntaxErrorsDetectionVisitor.VisitTree(AbstractSyntaxTree);
// RedefinedIdentifierError
// KeywordUsedAsNameError
SymbolTableCreationVisitor symbolTableCreationVisitor = new SymbolTableCreationVisitor();
symbolTableCreationVisitor.VisitTree(AbstractSyntaxTree);
SymbolTable = symbolTableCreationVisitor.SymbolTable;
SymbolsWithInstructions = symbolTableCreationVisitor.SymbolsWithInstructions;
// UnknownTypeNameError
// UnsupportedTypeError
// UnsupportedArrayTypeError
// UnsupportedFunctionTypeError
TypeResolver typeResolver = new TypeResolver(SymbolTable);
typeResolver.Resolve(symbolTableCreationVisitor.TypedSymbols);
// NotClassOrPrototypeReferenceError
// UndeclaredIdentifierError
// InfiniteReferenceLoopError
InheritanceResolver inheritanceResolver = new InheritanceResolver(SymbolTable);
inheritanceResolver.Resolve(symbolTableCreationVisitor.SubclassSymbols);
// UndeclaredIdentifierError
// AccessToAttributeOfArrayElementNotSupportedError
// AttributeOfNonInstanceError
// ClassDoesNotHaveAttributeError
// ReferencedSymbolIsNotArrayError
ReferenceResolvingVisitor referenceResolvingVisitor = new ReferenceResolvingVisitor(SymbolTable);
referenceResolvingVisitor.Visit(AbstractSyntaxTree.ReferenceNodes);
// InfiniteConstReferenceLoopError
// ArraySizeEqualsZeroError
// TooBigArraySizeError
// ArraySizeNotConstIntegerError
// InconsistentArraySizeError
// IndexOutOfRangeError
// TooBigArrayIndex
// ConstIntegerExpectedError
// ArrayIndexNotConstIntegerError
// ArithmeticOperationOverflowError
// DivideByZeroError
// InvalidUnaryOperationError
// InvalidBinaryOperationError
// IntegerLiteralTooLargeError
// CannotInitializeConstWithValueOfDifferentTypeError
// CannotInitializeArrayElementWithValueOfDifferentTypeError
ConstEvaluationVisitor constEvaluationVisitor = new ConstEvaluationVisitor();
constEvaluationVisitor.Visit(symbolTableCreationVisitor.ConstDefinitionNodes);
constEvaluationVisitor.Visit(symbolTableCreationVisitor.ArrayDeclarationNodes);
constEvaluationVisitor.Visit(referenceResolvingVisitor.ArrayIndexNodes);
// ArgumentsCountDoesNotMatchError
TypeCheckingVisitor typeCheckingVisitor = new TypeCheckingVisitor(SymbolTable);
typeCheckingVisitor.VisitTree(AbstractSyntaxTree);
// UnusedSymbolWarning
// NamesNotMatchingCaseWiseWarning
DeclarationUsagesChecker declarationUsagesChecker = new DeclarationUsagesChecker(SymbolTable, _zenFileNodes);
declarationUsagesChecker.Check(symbolTableCreationVisitor.DeclarationNodes);
// UsageOfNonInitializedVariableWarning
UninitializedSymbolUsageDetectionVisitor uninitializedSymbolUsageDetectionVisitor = new UninitializedSymbolUsageDetectionVisitor();
uninitializedSymbolUsageDetectionVisitor.VisitTree(AbstractSyntaxTree);
// IterationStatementNotInLoopError
// IntegerLiteralTooLargeError
// SingleExpressionWarning
// WrongClassSizeError
// ConstValueChangedWarning
// UsageOfNonInitializedVariableWarning
RemainingAnnotationsAdditionVisitor remainingAnnotationsAdditionVisitor = new RemainingAnnotationsAdditionVisitor(SymbolTable);
remainingAnnotationsAdditionVisitor.VisitTree(AbstractSyntaxTree);
}
