| -coffi |
- Use the good old Coffi front end for parsing Java bytecode (instead of using ASM). | -|
| -jasmin-backend |
Use the Jasmin back end for generating Java bytecode (instead of using ASM). | diff --git a/eclipse/ca.mcgill.sable.soot/src/ca/mcgill/sable/soot/ui/PhaseOptionsDialog.java b/eclipse/ca.mcgill.sable.soot/src/ca/mcgill/sable/soot/ui/PhaseOptionsDialog.java index d146207fc71..bd0f04499be 100644 --- a/eclipse/ca.mcgill.sable.soot/src/ca/mcgill/sable/soot/ui/PhaseOptionsDialog.java +++ b/eclipse/ca.mcgill.sable.soot/src/ca/mcgill/sable/soot/ui/PhaseOptionsDialog.java @@ -996,12 +996,6 @@ private boolean createNewConfig() { String nextListToken; - boolRes = getGeneral_Optionscoffi_widget().getButton().getSelection(); - defBoolRes = false; - - if (boolRes != defBoolRes) { - getConfig().put(getGeneral_Optionscoffi_widget().getAlias(), new Boolean(boolRes)); - } boolRes = getGeneral_Optionsjasmin_backend_widget().getButton().getSelection(); defBoolRes = false; @@ -4553,16 +4547,6 @@ protected SootOption getInitialInput() { - private BooleanOptionWidget General_Optionscoffi_widget; - - private void setGeneral_Optionscoffi_widget(BooleanOptionWidget widget) { - General_Optionscoffi_widget = widget; - } - - public BooleanOptionWidget getGeneral_Optionscoffi_widget() { - return General_Optionscoffi_widget; - } - private BooleanOptionWidget General_Optionsjasmin_backend_widget; private void setGeneral_Optionsjasmin_backend_widget(BooleanOptionWidget widget) { @@ -8620,17 +8604,6 @@ private Composite General_OptionsCreate(Composite parent) { - defKey = ""+" "+""+" "+"coffi"; - defKey = defKey.trim(); - - if (isInDefList(defKey)) { - defaultBool = getBoolDef(defKey); - } else { - defaultBool = false; - } - - setGeneral_Optionscoffi_widget(new BooleanOptionWidget(editGroupGeneral_Options, SWT.NONE, new OptionData("Coffi Frontend", "", "","coffi", "\n", defaultBool))); - defKey = ""+" "+""+" "+"jasmin-backend"; defKey = defKey.trim(); diff --git a/src/main/generated/jastadd/soot/JastAddJ/ASTNode$State.java b/src/main/generated/jastadd/soot/JastAddJ/ASTNode$State.java index 359755c5fcb..57a906057e6 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/ASTNode$State.java +++ b/src/main/generated/jastadd/soot/JastAddJ/ASTNode$State.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @apilevel internal * @ast class diff --git a/src/main/generated/jastadd/soot/JastAddJ/ASTNode.java b/src/main/generated/jastadd/soot/JastAddJ/ASTNode.java index bf1aeb09347..c8b938e41e9 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/ASTNode.java +++ b/src/main/generated/jastadd/soot/JastAddJ/ASTNode.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production ASTNode; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AbstractDot.java b/src/main/generated/jastadd/soot/JastAddJ/AbstractDot.java index 82b37dafb3c..d1949897fdb 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AbstractDot.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AbstractDot.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AbstractDot : {@link Access} ::= Left:{@link Expr} Right:{@link Access}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AbstractWildcard.java b/src/main/generated/jastadd/soot/JastAddJ/AbstractWildcard.java index 88c0cadd867..f823a41dfab 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AbstractWildcard.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AbstractWildcard.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AbstractWildcard : {@link Access}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AbstractWildcardType.java b/src/main/generated/jastadd/soot/JastAddJ/AbstractWildcardType.java index 6876950e3f6..7822842d809 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AbstractWildcardType.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AbstractWildcardType.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AbstractWildcardType : {@link TypeDecl}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/Access.java b/src/main/generated/jastadd/soot/JastAddJ/Access.java index c6d59da9e2e..b3de5f3252f 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/Access.java +++ b/src/main/generated/jastadd/soot/JastAddJ/Access.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production Access : {@link Expr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AddExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AddExpr.java index ed30c598a1b..21aceea7a41 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AddExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AddExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AddExpr : {@link AdditiveExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AdditiveExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AdditiveExpr.java index e0b597e6b07..fec0e478dab 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AdditiveExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AdditiveExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AdditiveExpr : {@link ArithmeticExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AmbiguousAccess.java b/src/main/generated/jastadd/soot/JastAddJ/AmbiguousAccess.java index 01cf2c78b66..1cc70135ebe 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AmbiguousAccess.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AmbiguousAccess.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AmbiguousAccess : {@link Access} ::= <ID:String>; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AndBitwiseExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AndBitwiseExpr.java index 5f5049a6537..97b9ec78ce6 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AndBitwiseExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AndBitwiseExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AndBitwiseExpr : {@link BitwiseExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AndLogicalExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AndLogicalExpr.java index 8977ca7eef9..aa77bef4fe8 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AndLogicalExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AndLogicalExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AndLogicalExpr : {@link LogicalExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AnnotatedCompilationUnit.java b/src/main/generated/jastadd/soot/JastAddJ/AnnotatedCompilationUnit.java index 1b832984d06..06fc99a348c 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AnnotatedCompilationUnit.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AnnotatedCompilationUnit.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AnnotatedCompilationUnit : {@link CompilationUnit} ::= {@link Modifiers}; diff --git a/src/main/generated/jastadd/soot/JastAddJ/Annotation.java b/src/main/generated/jastadd/soot/JastAddJ/Annotation.java index e5c53b9767a..b32ecb973f1 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/Annotation.java +++ b/src/main/generated/jastadd/soot/JastAddJ/Annotation.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production Annotation : {@link Modifier} ::= <ID:String> {@link Access} {@link ElementValuePair}*; diff --git a/src/main/generated/jastadd/soot/JastAddJ/AnnotationDecl.java b/src/main/generated/jastadd/soot/JastAddJ/AnnotationDecl.java index 062fcb22dc7..336099246fa 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AnnotationDecl.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AnnotationDecl.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AnnotationDecl : {@link InterfaceDecl} ::= SuperInterfaceId:{@link Access}*; diff --git a/src/main/generated/jastadd/soot/JastAddJ/AnnotationMethodDecl.java b/src/main/generated/jastadd/soot/JastAddJ/AnnotationMethodDecl.java index 56bf2fa0035..fa2071a3486 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AnnotationMethodDecl.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AnnotationMethodDecl.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AnnotationMethodDecl : {@link MethodDecl} ::= [DefaultValue:{@link ElementValue}]; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AnonymousDecl.java b/src/main/generated/jastadd/soot/JastAddJ/AnonymousDecl.java index a93109ae2cf..56e38733e0b 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AnonymousDecl.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AnonymousDecl.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AnonymousDecl : {@link ClassDecl} ::= {@link Modifiers} <ID:String> [SuperClassAccess:{@link Access}] Implements:{@link Access}* {@link BodyDecl}*; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/ArithmeticExpr.java b/src/main/generated/jastadd/soot/JastAddJ/ArithmeticExpr.java index 1751ed4bb9d..38dfd47dbab 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/ArithmeticExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/ArithmeticExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production ArithmeticExpr : {@link Binary}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/ArrayAccess.java b/src/main/generated/jastadd/soot/JastAddJ/ArrayAccess.java index e00699a4dd8..e97814ff503 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/ArrayAccess.java +++ b/src/main/generated/jastadd/soot/JastAddJ/ArrayAccess.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production ArrayAccess : {@link Access} ::= {@link Expr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/ArrayCreationExpr.java b/src/main/generated/jastadd/soot/JastAddJ/ArrayCreationExpr.java index dcb85b110e4..10f27a6e4c0 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/ArrayCreationExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/ArrayCreationExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production ArrayCreationExpr : {@link PrimaryExpr} ::= TypeAccess:{@link Access} [{@link ArrayInit}]; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/ArrayDecl.java b/src/main/generated/jastadd/soot/JastAddJ/ArrayDecl.java index 0290362c1cd..c28d4e6554f 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/ArrayDecl.java +++ b/src/main/generated/jastadd/soot/JastAddJ/ArrayDecl.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production ArrayDecl : {@link ClassDecl}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/ArrayInit.java b/src/main/generated/jastadd/soot/JastAddJ/ArrayInit.java index 010d0114abf..f7444ead535 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/ArrayInit.java +++ b/src/main/generated/jastadd/soot/JastAddJ/ArrayInit.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production ArrayInit : {@link Expr} ::= Init:{@link Expr}*; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/ArrayTypeAccess.java b/src/main/generated/jastadd/soot/JastAddJ/ArrayTypeAccess.java index 43a85f357ac..fc7aa6863b2 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/ArrayTypeAccess.java +++ b/src/main/generated/jastadd/soot/JastAddJ/ArrayTypeAccess.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production ArrayTypeAccess : {@link TypeAccess} ::= <Package:String> <ID:String> {@link Access}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/ArrayTypeWithSizeAccess.java b/src/main/generated/jastadd/soot/JastAddJ/ArrayTypeWithSizeAccess.java index 1a8e6070301..39240613f7a 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/ArrayTypeWithSizeAccess.java +++ b/src/main/generated/jastadd/soot/JastAddJ/ArrayTypeWithSizeAccess.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production ArrayTypeWithSizeAccess : {@link ArrayTypeAccess} ::= {@link Expr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssertStmt.java b/src/main/generated/jastadd/soot/JastAddJ/AssertStmt.java index 135ddba3476..91ab919df0c 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssertStmt.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssertStmt.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssertStmt : {@link Stmt} ::= first:{@link Expr} [{@link Expr}]; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssignAdditiveExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AssignAdditiveExpr.java index c455d24dca6..44cc705565d 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssignAdditiveExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssignAdditiveExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssignAdditiveExpr : {@link AssignExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssignAndExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AssignAndExpr.java index fcaa20786e6..2899155c821 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssignAndExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssignAndExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssignAndExpr : {@link AssignBitwiseExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssignBitwiseExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AssignBitwiseExpr.java index 3adff9e3ec3..d967e75174c 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssignBitwiseExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssignBitwiseExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssignBitwiseExpr : {@link AssignExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssignDivExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AssignDivExpr.java index 3b5750082f9..6a216a55ce3 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssignDivExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssignDivExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssignDivExpr : {@link AssignMultiplicativeExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssignExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AssignExpr.java index 710c43e91e4..af815b7b6f3 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssignExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssignExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssignExpr : {@link Expr} ::= Dest:{@link Expr} Source:{@link Expr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssignLShiftExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AssignLShiftExpr.java index 2443e4f678a..e80f7ac36b2 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssignLShiftExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssignLShiftExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssignLShiftExpr : {@link AssignShiftExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssignMinusExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AssignMinusExpr.java index ac824815d7e..d841c2036e5 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssignMinusExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssignMinusExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssignMinusExpr : {@link AssignAdditiveExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssignModExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AssignModExpr.java index daf6ff63ffd..f6275b1cc46 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssignModExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssignModExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssignModExpr : {@link AssignMultiplicativeExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssignMulExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AssignMulExpr.java index 80987ac61aa..f28a47896ee 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssignMulExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssignMulExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssignMulExpr : {@link AssignMultiplicativeExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssignMultiplicativeExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AssignMultiplicativeExpr.java index a65a83a4579..7389b8dd990 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssignMultiplicativeExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssignMultiplicativeExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssignMultiplicativeExpr : {@link AssignExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssignOrExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AssignOrExpr.java index 3dcfb7273c2..fe85bc1ffd3 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssignOrExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssignOrExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssignOrExpr : {@link AssignBitwiseExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssignPlusExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AssignPlusExpr.java index 19dd62efb63..f5a8582b31f 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssignPlusExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssignPlusExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssignPlusExpr : {@link AssignAdditiveExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssignRShiftExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AssignRShiftExpr.java index 45a699093f2..f5cb2d75930 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssignRShiftExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssignRShiftExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssignRShiftExpr : {@link AssignShiftExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssignShiftExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AssignShiftExpr.java index 0552271873f..905409e2f8f 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssignShiftExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssignShiftExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssignShiftExpr : {@link AssignExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssignSimpleExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AssignSimpleExpr.java index a21d73dea3e..89dc539d9db 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssignSimpleExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssignSimpleExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssignSimpleExpr : {@link AssignExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssignURShiftExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AssignURShiftExpr.java index 2039e6a4f6e..6af9146a976 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssignURShiftExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssignURShiftExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssignURShiftExpr : {@link AssignShiftExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/AssignXorExpr.java b/src/main/generated/jastadd/soot/JastAddJ/AssignXorExpr.java index a7acc59374b..4e0de9e1713 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/AssignXorExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/AssignXorExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production AssignXorExpr : {@link AssignBitwiseExpr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/Attributes.java b/src/main/generated/jastadd/soot/JastAddJ/Attributes.java index b464fb79a84..de844e07144 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/Attributes.java +++ b/src/main/generated/jastadd/soot/JastAddJ/Attributes.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @ast class * diff --git a/src/main/generated/jastadd/soot/JastAddJ/BasicCatch.java b/src/main/generated/jastadd/soot/JastAddJ/BasicCatch.java index a8ff8c5be01..f4bff6217dd 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/BasicCatch.java +++ b/src/main/generated/jastadd/soot/JastAddJ/BasicCatch.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * A catch clause that can catch a single exception type. * @production BasicCatch : {@link CatchClause} ::= Parameter:{@link ParameterDeclaration} {@link Block}; diff --git a/src/main/generated/jastadd/soot/JastAddJ/Binary.java b/src/main/generated/jastadd/soot/JastAddJ/Binary.java index c3915f4326f..abcb6cba5a5 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/Binary.java +++ b/src/main/generated/jastadd/soot/JastAddJ/Binary.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production Binary : {@link Expr} ::= LeftOperand:{@link Expr} RightOperand:{@link Expr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/BitNotExpr.java b/src/main/generated/jastadd/soot/JastAddJ/BitNotExpr.java index 0ca20a54f6f..6200e017ed7 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/BitNotExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/BitNotExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production BitNotExpr : {@link Unary}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/BitwiseExpr.java b/src/main/generated/jastadd/soot/JastAddJ/BitwiseExpr.java index 3131ce03535..d4e7da31ee8 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/BitwiseExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/BitwiseExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production BitwiseExpr : {@link Binary}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/Block.java b/src/main/generated/jastadd/soot/JastAddJ/Block.java index 45d17c84504..e23e0c19363 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/Block.java +++ b/src/main/generated/jastadd/soot/JastAddJ/Block.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production Block : {@link Stmt} ::= {@link Stmt}*; diff --git a/src/main/generated/jastadd/soot/JastAddJ/Body.java b/src/main/generated/jastadd/soot/JastAddJ/Body.java index 06231207e71..0633b025280 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/Body.java +++ b/src/main/generated/jastadd/soot/JastAddJ/Body.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @ast class * diff --git a/src/main/generated/jastadd/soot/JastAddJ/BodyDecl.java b/src/main/generated/jastadd/soot/JastAddJ/BodyDecl.java index 2637d679a07..1e9f1dba9f2 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/BodyDecl.java +++ b/src/main/generated/jastadd/soot/JastAddJ/BodyDecl.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production BodyDecl : {@link ASTNode}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/BodyDeclList.java b/src/main/generated/jastadd/soot/JastAddJ/BodyDeclList.java index 979fb1cefda..bb6e0f42f3a 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/BodyDeclList.java +++ b/src/main/generated/jastadd/soot/JastAddJ/BodyDeclList.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production BodyDeclList : {@link List}; diff --git a/src/main/generated/jastadd/soot/JastAddJ/BooleanLiteral.java b/src/main/generated/jastadd/soot/JastAddJ/BooleanLiteral.java index de4c98402d3..dfc0040fecc 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/BooleanLiteral.java +++ b/src/main/generated/jastadd/soot/JastAddJ/BooleanLiteral.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * Represents a Java boolean; either "true" or "false". * @production BooleanLiteral : {@link Literal}; diff --git a/src/main/generated/jastadd/soot/JastAddJ/BooleanType.java b/src/main/generated/jastadd/soot/JastAddJ/BooleanType.java index ee785f7d26e..fd85a7c79df 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/BooleanType.java +++ b/src/main/generated/jastadd/soot/JastAddJ/BooleanType.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production BooleanType : {@link PrimitiveType}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/BoundFieldAccess.java b/src/main/generated/jastadd/soot/JastAddJ/BoundFieldAccess.java index 4c81520f84f..159efc94743 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/BoundFieldAccess.java +++ b/src/main/generated/jastadd/soot/JastAddJ/BoundFieldAccess.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production BoundFieldAccess : {@link VarAccess} ::= <FieldDeclaration:FieldDeclaration>; diff --git a/src/main/generated/jastadd/soot/JastAddJ/BoundMethodAccess.java b/src/main/generated/jastadd/soot/JastAddJ/BoundMethodAccess.java index 32adde3ee37..e91685045e5 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/BoundMethodAccess.java +++ b/src/main/generated/jastadd/soot/JastAddJ/BoundMethodAccess.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production BoundMethodAccess : {@link MethodAccess}; diff --git a/src/main/generated/jastadd/soot/JastAddJ/BoundTypeAccess.java b/src/main/generated/jastadd/soot/JastAddJ/BoundTypeAccess.java index c8bd02f9211..a8e717c1920 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/BoundTypeAccess.java +++ b/src/main/generated/jastadd/soot/JastAddJ/BoundTypeAccess.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production BoundTypeAccess : {@link TypeAccess} ::= <TypeDecl:TypeDecl>; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/BranchPropagation.java b/src/main/generated/jastadd/soot/JastAddJ/BranchPropagation.java index 4254f98cbdf..9d8f3b90813 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/BranchPropagation.java +++ b/src/main/generated/jastadd/soot/JastAddJ/BranchPropagation.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @ast interface diff --git a/src/main/generated/jastadd/soot/JastAddJ/BranchTargetStmt.java b/src/main/generated/jastadd/soot/JastAddJ/BranchTargetStmt.java index 002af545468..cae252c2a4b 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/BranchTargetStmt.java +++ b/src/main/generated/jastadd/soot/JastAddJ/BranchTargetStmt.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production BranchTargetStmt : {@link Stmt}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/BreakStmt.java b/src/main/generated/jastadd/soot/JastAddJ/BreakStmt.java index d085ebf4c02..cf6109a2844 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/BreakStmt.java +++ b/src/main/generated/jastadd/soot/JastAddJ/BreakStmt.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production BreakStmt : {@link Stmt} ::= <Label:String>; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/BridgeMethodDecl.java b/src/main/generated/jastadd/soot/JastAddJ/BridgeMethodDecl.java index 7415482f238..6a97f2d59dd 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/BridgeMethodDecl.java +++ b/src/main/generated/jastadd/soot/JastAddJ/BridgeMethodDecl.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production BridgeMethodDecl : {@link MethodDecl}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/ByteType.java b/src/main/generated/jastadd/soot/JastAddJ/ByteType.java index 6bffacd18b5..8bd5998a56d 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/ByteType.java +++ b/src/main/generated/jastadd/soot/JastAddJ/ByteType.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production ByteType : {@link IntegralType}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/BytecodeParser.java b/src/main/generated/jastadd/soot/JastAddJ/BytecodeParser.java index e33967a5498..fa0c9db6daf 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/BytecodeParser.java +++ b/src/main/generated/jastadd/soot/JastAddJ/BytecodeParser.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @ast class * diff --git a/src/main/generated/jastadd/soot/JastAddJ/BytecodeReader.java b/src/main/generated/jastadd/soot/JastAddJ/BytecodeReader.java index 91310aa3cd3..36deffcfe0b 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/BytecodeReader.java +++ b/src/main/generated/jastadd/soot/JastAddJ/BytecodeReader.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @ast interface * diff --git a/src/main/generated/jastadd/soot/JastAddJ/BytecodeTypeAccess.java b/src/main/generated/jastadd/soot/JastAddJ/BytecodeTypeAccess.java index f4f677a5410..95131a48b92 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/BytecodeTypeAccess.java +++ b/src/main/generated/jastadd/soot/JastAddJ/BytecodeTypeAccess.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production BytecodeTypeAccess : {@link TypeAccess}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Class_Info.java b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Class_Info.java index 5a0df8633e4..fe35a240457 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Class_Info.java +++ b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Class_Info.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @ast class * diff --git a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Double_Info.java b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Double_Info.java index a4321e3a2a9..9f4e599dd4c 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Double_Info.java +++ b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Double_Info.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @ast class * diff --git a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Fieldref_Info.java b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Fieldref_Info.java index 2e31dff860d..70a7460282e 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Fieldref_Info.java +++ b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Fieldref_Info.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @ast class * diff --git a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Float_Info.java b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Float_Info.java index ce99a7ec711..20e31be44b5 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Float_Info.java +++ b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Float_Info.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @ast class * diff --git a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Info.java b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Info.java index 727b7b9e817..a00e0576c22 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Info.java +++ b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Info.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @ast class * diff --git a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Integer_Info.java b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Integer_Info.java index a39a26988d5..57c43c271cd 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Integer_Info.java +++ b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Integer_Info.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @ast class * diff --git a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_InterfaceMethodref_Info.java b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_InterfaceMethodref_Info.java index 5daa063ea99..37fe5f5caf0 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_InterfaceMethodref_Info.java +++ b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_InterfaceMethodref_Info.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @ast class * diff --git a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Long_Info.java b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Long_Info.java index 9dcf70b3768..a4f92c66f05 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Long_Info.java +++ b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Long_Info.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @ast class * diff --git a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Methodref_Info.java b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Methodref_Info.java index 1c1d76e3c55..8874cc4b11d 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Methodref_Info.java +++ b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Methodref_Info.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @ast class * diff --git a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_NameAndType_Info.java b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_NameAndType_Info.java index fa43a8b7bbf..73892055586 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_NameAndType_Info.java +++ b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_NameAndType_Info.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @ast class * diff --git a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_String_Info.java b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_String_Info.java index e4df85ac50d..ff61545cb99 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_String_Info.java +++ b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_String_Info.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @ast class * diff --git a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Utf8_Info.java b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Utf8_Info.java index 48113a279f9..6a72a205b5e 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Utf8_Info.java +++ b/src/main/generated/jastadd/soot/JastAddJ/CONSTANT_Utf8_Info.java @@ -12,11 +12,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @ast class * diff --git a/src/main/generated/jastadd/soot/JastAddJ/Case.java b/src/main/generated/jastadd/soot/JastAddJ/Case.java index dc7efdd9c04..61f4fe555c8 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/Case.java +++ b/src/main/generated/jastadd/soot/JastAddJ/Case.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production Case : {@link Stmt}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/CastExpr.java b/src/main/generated/jastadd/soot/JastAddJ/CastExpr.java index 284d44d5a8f..c43fabca806 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/CastExpr.java +++ b/src/main/generated/jastadd/soot/JastAddJ/CastExpr.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production CastExpr : {@link Expr} ::= TypeAccess:{@link Access} {@link Expr}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/CatchClause.java b/src/main/generated/jastadd/soot/JastAddJ/CatchClause.java index 67ffdc35796..e6572b18515 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/CatchClause.java +++ b/src/main/generated/jastadd/soot/JastAddJ/CatchClause.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * Abstract superclass for catch clauses. * @production CatchClause : {@link ASTNode} ::= {@link Block}; diff --git a/src/main/generated/jastadd/soot/JastAddJ/CatchParameterDeclaration.java b/src/main/generated/jastadd/soot/JastAddJ/CatchParameterDeclaration.java index ed0f9c5b029..5530113670f 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/CatchParameterDeclaration.java +++ b/src/main/generated/jastadd/soot/JastAddJ/CatchParameterDeclaration.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * A catch parameter with disjunct exception type. * @production CatchParameterDeclaration : {@link ASTNode} ::= {@link Modifiers} TypeAccess:{@link Access}* <ID:String>; diff --git a/src/main/generated/jastadd/soot/JastAddJ/CharType.java b/src/main/generated/jastadd/soot/JastAddJ/CharType.java index c0be2418388..8dd54f4054c 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/CharType.java +++ b/src/main/generated/jastadd/soot/JastAddJ/CharType.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production CharType : {@link IntegralType}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/CharacterLiteral.java b/src/main/generated/jastadd/soot/JastAddJ/CharacterLiteral.java index b9a6163c83d..e7b87339207 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/CharacterLiteral.java +++ b/src/main/generated/jastadd/soot/JastAddJ/CharacterLiteral.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * Represents a single character. * May not contain a Unicode escape sequence (Unicode escapes diff --git a/src/main/generated/jastadd/soot/JastAddJ/ClassAccess.java b/src/main/generated/jastadd/soot/JastAddJ/ClassAccess.java index 9821a808fa0..3fd87560957 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/ClassAccess.java +++ b/src/main/generated/jastadd/soot/JastAddJ/ClassAccess.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production ClassAccess : {@link Access}; * @ast node diff --git a/src/main/generated/jastadd/soot/JastAddJ/ClassDecl.java b/src/main/generated/jastadd/soot/JastAddJ/ClassDecl.java index d0f82d91444..797d2f0d5f4 100644 --- a/src/main/generated/jastadd/soot/JastAddJ/ClassDecl.java +++ b/src/main/generated/jastadd/soot/JastAddJ/ClassDecl.java @@ -13,11 +13,7 @@ import soot.*; import soot.util.*; import soot.jimple.*; -import soot.coffi.ClassFile; -import soot.coffi.method_info; -import soot.coffi.CONSTANT_Utf8_info; import soot.tagkit.SourceFileTag; -import soot.coffi.CoffiMethodSource; /** * @production ClassDecl : {@link ReferenceType} ::= {@link Modifiers} <ID:String> [SuperClassAccess:{@link Access}] Implements:{@link Access}* {@link BodyDecl}*; @@ -907,17 +903,6 @@ private SootClass refined_EmitJimpleRefinements_ClassDecl_sootClass() SootClass sc = null; if(Scene.v().containsClass(jvmName())) { SootClass cl = Scene.v().getSootClass(jvmName()); - //fix for test case 653: if there's a class java.lang.Object etc. on the command line - //prefer that class over the Coffi class that may already have been loaded from bytecode - try { - MethodSource source = cl.getMethodByName("|