edu.jmu.decaf

Class StaticAnalysis

java.lang.Object

edu.jmu.decaf.DefaultASTVisitor

edu.jmu.decaf.StaticAnalysis

All Implemented Interfaces:

ASTVisitor

Direct Known Subclasses:

BuildSymbolTables, DecafAnalysis

public class StaticAnalysis
extends DefaultASTVisitor

Provides a mechanism for aggregating InvalidProgramException errors from any AST static analysis pass. Errors found during static analysis are usually not fatal to further analysis, and can be gathered and reported at the end of the static analysis phase of compilation.

Constructor Summary

Constructors

Constructor and Description
StaticAnalysis()

Method Summary

Modifier and Type	Method and Description
static void	addError(InvalidProgramException ex) Report an InvalidProgramException error.
static void	addError(String msg) Report an error message to be saved for later aggregation.
static List<String>	getErrors() Retrieve a list of all errors encountered by any StaticAnalysis subclass thus far.
static String	getErrorString() Retrieve a message including all errors encountered by any StaticAnalysis subclass thus far.
static void	resetErrors() Clear all existing errors

Methods inherited from class edu.jmu.decaf.DefaultASTVisitor

defaultInVisit, defaultPostVisit, defaultPreVisit, inVisit, postVisit, postVisit, postVisit, postVisit, postVisit, postVisit, postVisit, postVisit, postVisit, postVisit, postVisit, postVisit, postVisit, postVisit, postVisit, postVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit, preVisit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StaticAnalysis

public StaticAnalysis()

Method Detail

addError

public static void addError(InvalidProgramException ex)

Report an InvalidProgramException error. This error is saved for later aggregation. This method is typically called from within a catch block in a method of a StaticAnalysis subclass.

Parameters:

ex - Exception containing message to add

addError

public static void addError(String msg)

Report an error message to be saved for later aggregation.

Parameters:

msg - Message to add

resetErrors

public static void resetErrors()

Clear all existing errors

getErrors

public static List<String> getErrors()

Retrieve a list of all errors encountered by any StaticAnalysis subclass thus far.

Returns:

List of error strings

getErrorString

public static String getErrorString()

Retrieve a message including all errors encountered by any StaticAnalysis subclass thus far.

Returns:

String of all error messages