abc.ltl
Class ExtensionInfo
java.lang.Object
soot.javaToJimple.jj.ExtensionInfo
abc.aspectj.ExtensionInfo
abc.ltl.ExtensionInfo
public class ExtensionInfo
- extends ExtensionInfo
Extension information for LTL extension.
- Author:
- Eric Bodden
Fields inherited from class abc.aspectj.ExtensionInfo |
ANON_ITDS, ASPECT_METHODS, aspect_names, ASPECT_PREPARE, ASPECT_REFLECTION_INSPECT, ASPECT_REFLECTION_REWRITE, BUILD_HIERARCHY, CAST_INSERTION, CHECK_DEPENDS, CHECK_PACKAGE_NAMES, CHECKING_DONE, class_to_ast, CLEAN_CLASSES, CLEAN_DECLARE, CLEAN_MEMBERS, COLLECT_ASPECT_NAMES, COLLECT_JIMPLIFY_CLASSES, COLLECT_SOURCE_FILES, COMPUTE_PRECEDENCE_RELATION, DECLARE_PARENTS, EVALUATE_PATTERNS, EVALUATE_PATTERNS_AGAIN, EVALUATE_PATTERNS_FINALLY, GOING_TO_JIMPLIFY, HARVEST_ASPECT_INFO, hierarchy, HIERARCHY_BUILT, INIT_CLASSES, INSPECT_AST, INTERFACE_ITDS, INTERFACE_ITDS_ALL, JAR_CHECK, jar_classes, JIMPLIFY, JIMPLIFY_DONE, MANGLE_NAME_COMPONENTS, MANGLE_NAMES, NAME_COMPONENTS, NAMES_MANGLED, PARENTS_DECLARED, pattern_matcher, PATTERNS_EVALUATED, PATTERNS_EVALUATED_AGAIN, prec_rel, PRECEDENCE_COMPUTED, SAVE_AST, SET_DEPENDS, SOURCE_CLASSES, source_files, STRICTFP_PROP, TEST_PATTERNS |
Constructor Summary |
ExtensionInfo(java.util.Collection jar_classes,
java.util.Collection source_files)
|
Methods inherited from class abc.aspectj.ExtensionInfo |
addDependencyToCurrentJob, createTypeSystem, defaultFileExtension, defaultFileExtensions, passes_add_members, passes_aspectj_transforms, passes_disambiguate_all, passes_disambiguate_signatures, passes_fold_and_checkcode, passes_interface_ITDs, passes_mangle_names, passes_parse_and_clean, passes_precedence_relation, passes_saveAST |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
CONVERT_NEGATIONS
public static final polyglot.frontend.Pass.ID CONVERT_NEGATIONS
IMPORTS
public static final polyglot.frontend.Pass.ID IMPORTS
GENERAL_FIELD_DECLS
public static final polyglot.frontend.Pass.ID GENERAL_FIELD_DECLS
PROPOSITION_LABELS
public static final polyglot.frontend.Pass.ID PROPOSITION_LABELS
CONSTRUCTOR_DECL
public static final polyglot.frontend.Pass.ID CONSTRUCTOR_DECL
PROPOSITION_ADVICE
public static final polyglot.frontend.Pass.ID PROPOSITION_ADVICE
CLEANUP
public static final polyglot.frontend.Pass.ID CLEANUP
FORMULA_CONSTRUCTORS
public static final polyglot.frontend.Pass.ID FORMULA_CONSTRUCTORS
FORMULA_IDS
public static final polyglot.frontend.Pass.ID FORMULA_IDS
MULTI_THREADING_SECURE
public static final polyglot.frontend.Pass.ID MULTI_THREADING_SECURE
BARRIER_1
public static final polyglot.frontend.Pass.ID BARRIER_1
BARRIER_2
public static final polyglot.frontend.Pass.ID BARRIER_2
LOAD_FORMULA_SOOT_CLASSES
public static final polyglot.frontend.Pass.ID LOAD_FORMULA_SOOT_CLASSES
ExtensionInfo
public ExtensionInfo(java.util.Collection jar_classes,
java.util.Collection source_files)
initCompiler
public void initCompiler(java.lang.Compiler comp)
compilerName
public java.lang.String compilerName()
- Overrides:
compilerName
in class ExtensionInfo
parser
public Parser parser(java.io.Reader reader,
FileSource source,
ErrorQueue eq)
- Overrides:
parser
in class ExtensionInfo
createNodeFactory
protected NodeFactory createNodeFactory()
- Overrides:
createNodeFactory
in class ExtensionInfo
passes
public java.util.List passes(Job job)
-
- Overrides:
passes
in class ExtensionInfo
passes_patterns_and_parents
protected void passes_patterns_and_parents(java.util.List l,
Job job)
- Overrides:
passes_patterns_and_parents
in class ExtensionInfo
passes_jimple
protected void passes_jimple(java.util.List l,
Job job)
- Overrides:
passes_jimple
in class ExtensionInfo