abc.ltl
Class ExtensionInfo

java.lang.Object
  extended by soot.javaToJimple.jj.ExtensionInfo
      extended by abc.aspectj.ExtensionInfo
          extended by abc.ltl.ExtensionInfo

public class ExtensionInfo
extends ExtensionInfo

Extension information for LTL extension.

Author:
Eric Bodden

Field Summary
static polyglot.frontend.Pass.ID BARRIER_1
           
static polyglot.frontend.Pass.ID BARRIER_2
           
static polyglot.frontend.Pass.ID CLEANUP
           
static polyglot.frontend.Pass.ID CONSTRUCTOR_DECL
           
static polyglot.frontend.Pass.ID CONVERT_NEGATIONS
           
static polyglot.frontend.Pass.ID FORMULA_CONSTRUCTORS
           
static polyglot.frontend.Pass.ID FORMULA_IDS
           
static polyglot.frontend.Pass.ID GENERAL_FIELD_DECLS
           
static polyglot.frontend.Pass.ID IMPORTS
           
static polyglot.frontend.Pass.ID LOAD_FORMULA_SOOT_CLASSES
           
static polyglot.frontend.Pass.ID MULTI_THREADING_SECURE
           
static polyglot.frontend.Pass.ID PROPOSITION_ADVICE
           
static polyglot.frontend.Pass.ID PROPOSITION_LABELS
           
 
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)
           
 
Method Summary
 java.lang.String compilerName()
           
protected  NodeFactory createNodeFactory()
           
 void initCompiler(java.lang.Compiler comp)
           
 Parser parser(java.io.Reader reader, FileSource source, ErrorQueue eq)
           
protected  void passes_jimple(java.util.List l, Job job)
           
protected  void passes_patterns_and_parents(java.util.List l, Job job)
           
 java.util.List passes(Job job)
          
 
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
 

Field Detail

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
Constructor Detail

ExtensionInfo

public ExtensionInfo(java.util.Collection jar_classes,
                     java.util.Collection source_files)
Method Detail

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