├── .gitignore ├── .gitmodules ├── LICENSE ├── README.org ├── deps └── rt.jar ├── docker ├── Dockerfile ├── build.sh ├── run_performance.bash └── run_quality.bash ├── examples ├── ancestor.in ├── applications │ ├── arity-check.mdl │ ├── cartesian-lint.mdl │ └── strata.mdl ├── arity │ ├── arity.mdl │ ├── arity_x8.mdl │ ├── arity_x80.mdl │ ├── minidoop.mdl │ ├── minidoop_x8.mdl │ └── minidoop_x80.mdl ├── fsa.in ├── import_self.in ├── metadl-java │ ├── Makefile │ ├── error-prone-metadl.mdl │ ├── gen-hybrid.sh │ └── spot-bugs-metadl.mdl ├── minidoop │ └── minidoop.mdl ├── nat.in ├── recedb.in └── typecheck.in ├── facts └── DUMMY_FILE ├── gradle └── wrapper │ ├── gradle-wrapper.jar │ └── gradle-wrapper.properties ├── gradlew ├── settings.gradle ├── sourceme ├── src ├── .gitignore ├── jastadd │ ├── CodeGen.jrag │ ├── Comparisons.jrag │ ├── Constructors.jrag │ ├── DomainSeparation.jrag │ ├── Eval.jrag │ ├── Functor.jrag │ ├── GlobalNames.jrag │ ├── PatternLang.jrag │ ├── PrettyPrinting.jrag │ ├── Relations.jrag │ ├── SemanticAnalysis.jrag │ ├── Stratification.jrag │ ├── Structure.jrag │ ├── Types.jrag │ ├── VariableMap.jrag │ └── lang.ast ├── java │ ├── eval │ │ ├── Control.java │ │ ├── EvaluationContext.java │ │ ├── Index.java │ │ ├── Operation.java │ │ ├── Relation2.java │ │ ├── Stratum.java │ │ ├── Tuple.java │ │ └── TupleView.java │ ├── incremental │ │ ├── IncrementalDriver.java │ │ └── ProgramSplit.java │ ├── lang │ │ ├── CmdLineOpts.java │ │ ├── Compiler.java │ │ ├── cons │ │ │ ├── ObjLangASTNode.java │ │ │ └── PatternConstraint.java │ │ ├── io │ │ │ ├── CSVUtil.java │ │ │ ├── FileUtil.java │ │ │ ├── SQLUtil.java │ │ │ ├── SimpleLogger.java │ │ │ └── StringUID.java │ │ ├── java │ │ │ └── obj │ │ │ │ ├── DatalogProjection2.java │ │ │ │ ├── DatalogProjectionSink.java │ │ │ │ └── FileIdDatabase.java │ │ └── relation │ │ │ ├── PseudoTuple.java │ │ │ ├── RelationWrapper.java │ │ │ └── TupleInserter.java │ ├── prof │ │ └── Profile.java │ └── swig │ │ ├── SWIGSouffleProgram.java │ │ ├── SWIGSouffleRelation.java │ │ ├── SWIGSouffleRelationAdapter.java │ │ ├── SWIGSouffleTuple.java │ │ ├── SWIGTYPE_p_souffle__SouffleProgram.java │ │ ├── SWIGTYPE_p_std__ostream.java │ │ ├── SWIGUtil.java │ │ ├── SwigInterface.java │ │ ├── SwigInterfaceJNI.java │ │ └── map_string_string.java ├── lang │ ├── common │ │ ├── obj │ │ │ └── jastadd │ │ │ │ └── DatalogProjection.jrag │ │ └── pat │ │ │ └── jastadd │ │ │ ├── ASTBuilder.jrag │ │ │ ├── PatternPredicates.jrag │ │ │ ├── PatternToDatalog.jrag │ │ │ └── Tokens.jrag │ ├── java8 │ │ └── pat │ │ │ ├── jastadd │ │ │ ├── Annotations.ast │ │ │ ├── BasicTWR.ast │ │ │ ├── BoundNames.ast │ │ │ ├── ConstructorReference.ast │ │ │ ├── Copied.jrag │ │ │ ├── Diamond.ast │ │ │ ├── EnhancedFor.ast │ │ │ ├── Enums.ast │ │ │ ├── ErrorCheck.jrag │ │ │ ├── GenericMethods.ast │ │ │ ├── Generics.ast │ │ │ ├── IntersectionCasts.ast │ │ │ ├── Java.ast │ │ │ ├── Java8PatternToDatalog.jrag │ │ │ ├── Lambda.ast │ │ │ ├── LambdaAnonymousDecl.ast │ │ │ ├── Literals.ast │ │ │ ├── Literals.jrag │ │ │ ├── MethodReference.ast │ │ │ ├── MultiCatch.ast │ │ │ ├── NTA.jrag │ │ │ ├── NTAFinally.ast │ │ │ ├── NodeConstructors.jrag │ │ │ ├── ParseNameAsLiterals.jrag │ │ │ ├── StaticImports.ast │ │ │ ├── Tokens.jrag │ │ │ ├── TryWithResources.ast │ │ │ └── VariableArityParameters.ast │ │ │ ├── parser │ │ │ ├── Annotations.parser │ │ │ ├── ConstructorReference.parser │ │ │ ├── Diamond.parser │ │ │ ├── EnhancedFor.parser │ │ │ ├── Enums.parser │ │ │ ├── ErrorRecovery.parser │ │ │ ├── GenericMethods.parser │ │ │ ├── Generics.parser │ │ │ ├── Goal.parser │ │ │ ├── Header.parser │ │ │ ├── InterfaceMethods.parser │ │ │ ├── IntersectionCasts.parser │ │ │ ├── Java1.4.parser │ │ │ ├── Lambda.parser │ │ │ ├── Literals.parser │ │ │ ├── MethodReference.parser │ │ │ ├── MultiCatch.parser │ │ │ ├── NonGenericTypes.parser │ │ │ ├── PackageModifier.parser │ │ │ ├── Preamble.parser │ │ │ ├── Precedence.parser │ │ │ ├── StaticImports.parser │ │ │ ├── TryWithResources.parser │ │ │ ├── VariableArityParameters.parser │ │ │ └── java14fix.parser │ │ │ └── scanner │ │ │ ├── Comments.flex │ │ │ ├── Header.flex │ │ │ ├── Identifiers.flex │ │ │ ├── Keywords.flex │ │ │ ├── Literals.flex │ │ │ ├── Macros.flex │ │ │ ├── Operators.flex │ │ │ ├── Postamble.flex │ │ │ ├── Preamble.flex │ │ │ ├── RulesPreamble.flex │ │ │ ├── Separators.flex │ │ │ └── WhiteSpace.flex │ └── metadl │ │ ├── obj │ │ ├── jastadd │ │ │ ├── DatalogProjection.jrag │ │ │ ├── Utils.jrag │ │ │ └── lang.ast │ │ ├── parser │ │ │ └── lang.parser │ │ └── scanner │ │ │ └── scanner.flex │ │ └── pat │ │ ├── jastadd │ │ ├── MetaDLPatternToDatalog.jrag │ │ └── patlang.ast │ │ ├── parser │ │ └── lang.parser │ │ └── scanner │ │ └── scanner.flex ├── parser │ └── metadl.parser ├── scanner │ └── scanner.flex └── test │ └── lang │ ├── DomainSeparationTest.java │ ├── EvaluationTest.java │ ├── IncrementalTest.java │ ├── ParseTests.java │ ├── SemanticErrorTests.java │ ├── TypeErrorTests.java │ └── Util.java ├── tests ├── domain-separation │ ├── circular.mdl │ ├── domain.mdl │ └── locals1.mdl ├── evaluation │ ├── evalTest_1.in │ ├── evalTest_10.in │ ├── evalTest_11.in │ ├── evalTest_12.in │ ├── evalTest_13.in │ ├── evalTest_14.in │ ├── evalTest_2.in │ ├── evalTest_3.in │ ├── evalTest_4.in │ ├── evalTest_5.in │ ├── evalTest_6.in │ ├── evalTest_7.in │ ├── evalTest_8.in │ ├── evalTest_9.in │ ├── metadl-java │ │ ├── attr-provenance.mdl │ │ ├── bad-covariant-equals.mdl │ │ ├── boxed-primitive-constructor.mdl │ │ ├── class-hierarchy-utils.mdl │ │ ├── clone-idioms.mdl │ │ ├── expected │ │ │ ├── attr-provenance │ │ │ │ ├── MissingProvenance.csv │ │ │ │ └── ProvenanceData.csv │ │ │ ├── bad-covariant-equals │ │ │ │ └── BadEqualsReport.csv │ │ │ ├── boxed-primitive-constructor │ │ │ │ ├── PrimitiveCtorDetail.csv │ │ │ │ └── PrimitiveStringCtorDetail.csv │ │ │ ├── class-hierarchy-utils │ │ │ │ └── OverrideDetail.csv │ │ │ ├── clone-idioms │ │ │ │ └── BadCloneReport.csv │ │ │ ├── java7 │ │ │ │ ├── Diamond.csv │ │ │ │ ├── Multicatch.csv │ │ │ │ ├── NumericLiterals.csv │ │ │ │ └── TryWithResources.csv │ │ │ ├── java8 │ │ │ │ ├── Lambda1.csv │ │ │ │ └── MethodRef.csv │ │ │ ├── missing-override │ │ │ │ └── MissingOverrideDetail.csv │ │ │ ├── names │ │ │ │ ├── FieldNames.csv │ │ │ │ └── MethodNames.csv │ │ │ ├── naming-convention │ │ │ │ ├── WarningFieldName.csv │ │ │ │ ├── WarningMethodName.csv │ │ │ │ └── WarningTypeName.csv │ │ │ ├── number-ctor │ │ │ │ ├── NumberCtorDetail.csv │ │ │ │ └── Result.csv │ │ │ ├── operator-precedence │ │ │ │ ├── ConfusingDetail.csv │ │ │ │ └── ExtraParenDetail.csv │ │ │ ├── paper-examples │ │ │ │ ├── ArrayAccess.csv │ │ │ │ ├── NewArray.csv │ │ │ │ ├── NewArrayNoInit.csv │ │ │ │ └── NewArrayStartEnd.csv │ │ │ ├── reference-equality │ │ │ │ └── BadEqDetail.csv │ │ │ ├── reference-to-mutable-object │ │ │ │ ├── MismatchDetail.csv │ │ │ │ ├── NonPublicFieldReturnDetail.csv │ │ │ │ ├── ParamToNonPublicFieldDetail.csv │ │ │ │ └── Result.csv │ │ │ ├── switch-no-default │ │ │ │ ├── Correct.csv │ │ │ │ ├── DesireWarning.csv │ │ │ │ ├── ExpectWarning.csv │ │ │ │ ├── Mismatch.csv │ │ │ │ ├── MismatchDetails.csv │ │ │ │ ├── SwitchWithoutDefaultDetail.csv │ │ │ │ └── TestResult.csv │ │ │ ├── type-param-unused-in-formals │ │ │ │ └── TypeUnusedInFormalsDetail.csv │ │ │ └── unwritten-field │ │ │ │ ├── Result.csv │ │ │ │ └── WarningDetails.csv │ │ ├── facts │ │ │ ├── .gitignore │ │ │ └── DUMMY_FILE │ │ ├── java7.mdl │ │ ├── java8.mdl │ │ ├── missing-override.mdl │ │ ├── name-binding.mdl │ │ ├── names.mdl │ │ ├── naming-convention.mdl │ │ ├── number-ctor.mdl │ │ ├── operator-precedence.mdl │ │ ├── paper-examples.mdl │ │ ├── reference-equality.mdl │ │ ├── reference-to-mutable-object.mdl │ │ ├── src │ │ │ ├── attr-provenance │ │ │ │ ├── A.java │ │ │ │ ├── B.java │ │ │ │ ├── C.java │ │ │ │ └── Test.java │ │ │ ├── bad-covariant-equals │ │ │ │ ├── Negative.java │ │ │ │ ├── Positive.java │ │ │ │ └── spotbugs │ │ │ │ │ ├── CovariantEqualsNegativeCases.java │ │ │ │ │ ├── CovariantEqualsPositiveCase1.java │ │ │ │ │ ├── CovariantEqualsPositiveCase2.java │ │ │ │ │ ├── CovariantEqualsPositiveCase3.java │ │ │ │ │ ├── CovariantEqualsPositiveCase4.java │ │ │ │ │ └── CovariantEqualsPositiveCase5.java │ │ │ ├── boxed-primitive-constructor │ │ │ │ ├── Negative.java │ │ │ │ └── Positive.java │ │ │ ├── class-hierarchy-utils │ │ │ │ └── Test1.java │ │ │ ├── clone-idioms │ │ │ │ ├── Clone1.java │ │ │ │ ├── CloneIdiom1.java │ │ │ │ ├── CloneIdiom2.java │ │ │ │ ├── CloneIdiom3.java │ │ │ │ └── CloneIdiom4.java │ │ │ ├── java7 │ │ │ │ └── Java7Features.java │ │ │ ├── java8 │ │ │ │ └── Java8Features.java │ │ │ ├── missing-override │ │ │ │ ├── Classes.java │ │ │ │ └── Interfaces.java │ │ │ ├── name-binding │ │ │ │ └── Test1.java │ │ │ ├── names │ │ │ │ └── Names.java │ │ │ ├── naming-convention │ │ │ │ ├── Negative.java │ │ │ │ └── Positive.java │ │ │ ├── number-ctor │ │ │ │ ├── Bug1195.java │ │ │ │ └── Test.java │ │ │ ├── operator-precedence │ │ │ │ ├── Negative.java │ │ │ │ └── Positive.java │ │ │ ├── paper-examples │ │ │ │ └── Arrays.java │ │ │ ├── reference-equality │ │ │ │ ├── Test1Positive.java │ │ │ │ └── Test2Negative.java │ │ │ ├── reference-to-mutable-object │ │ │ │ ├── Bug1397.java │ │ │ │ ├── Bug1993328.java │ │ │ │ ├── Bug3279718.java │ │ │ │ └── Test.java │ │ │ ├── switch-no-default │ │ │ │ ├── Bug1298.java │ │ │ │ ├── Bug1392.java │ │ │ │ ├── Bug2539590.java │ │ │ │ ├── Bug3135098.java │ │ │ │ ├── Bug3180721.java │ │ │ │ ├── Bug3442048.java │ │ │ │ ├── Bug3498829.java │ │ │ │ ├── Bug3560970.java │ │ │ │ ├── Ideas_2009_01_14.java │ │ │ │ └── SwitchDup.java │ │ │ ├── type-param-unused-in-formals │ │ │ │ ├── Negative.java │ │ │ │ └── Positive.java │ │ │ └── unwritten-field │ │ │ │ ├── Bug1307.java │ │ │ │ ├── Test.java │ │ │ │ └── Test2.java │ │ ├── switch-no-default.mdl │ │ ├── type-param-unused-in-formals.mdl │ │ └── unwritten-field.mdl │ ├── withbind │ │ └── evalTest_1.in │ ├── withbinpred │ │ ├── ATOM.csv │ │ ├── EDB.csv │ │ ├── OUTPUT.csv │ │ ├── TYPEOF.csv │ │ ├── Vars.csv │ │ ├── evalTest_1.in │ │ ├── evalTest_2.in │ │ ├── evalTest_3.in │ │ ├── evalTest_4.in │ │ ├── evalTest_5.in │ │ ├── evalTest_6.in │ │ ├── evalTest_7.in │ │ ├── evalTest_8.in │ │ └── evalTest_9.in │ ├── withedbs │ │ ├── A.csv │ │ ├── ATOM.csv │ │ ├── EDB.csv │ │ ├── OUTPUT.csv │ │ ├── TYPEOF.csv │ │ ├── evalTest_1.in │ │ └── evalTest_2.in │ ├── withimport │ │ ├── debug.java │ │ ├── evalTest_1.in │ │ ├── evalTest_10.in │ │ ├── evalTest_10_input.mdl │ │ ├── evalTest_11.in │ │ ├── evalTest_11_input.mdl │ │ ├── evalTest_12.in │ │ ├── evalTest_12_input.java │ │ ├── evalTest_13.in │ │ ├── evalTest_13_input.java │ │ ├── evalTest_14.in │ │ ├── evalTest_14_input.mdl │ │ ├── evalTest_15.in │ │ ├── evalTest_15_input.java │ │ ├── evalTest_16.in │ │ ├── evalTest_16_input.java │ │ ├── evalTest_17.in │ │ ├── evalTest_17.java │ │ ├── evalTest_18.in │ │ ├── evalTest_18_input.java │ │ ├── evalTest_19.in │ │ ├── evalTest_19.java │ │ ├── evalTest_2.in │ │ ├── evalTest_2_input.mdl │ │ ├── evalTest_3.in │ │ ├── evalTest_3_input.mdl │ │ ├── evalTest_4.in │ │ ├── evalTest_4_input.mdl │ │ ├── evalTest_5.in │ │ ├── evalTest_5_input.mdl │ │ ├── evalTest_6.in │ │ ├── evalTest_6_input.mdl │ │ ├── evalTest_7.in │ │ ├── evalTest_7_input.mdl │ │ ├── evalTest_8.in │ │ ├── evalTest_8_input.mdl │ │ ├── evalTest_9.in │ │ ├── evalTest_9_input.in │ │ ├── expected │ │ │ ├── evalTest_10 │ │ │ │ └── Warning.csv │ │ │ ├── evalTest_11 │ │ │ │ └── OurExprEval.csv │ │ │ ├── evalTest_12 │ │ │ │ └── IsClass.csv │ │ │ ├── evalTest_13 │ │ │ │ ├── IsPublicMethod.csv │ │ │ │ └── IsVoidMethod.csv │ │ │ ├── evalTest_14 │ │ │ │ └── IsNeq.csv │ │ │ ├── evalTest_15 │ │ │ │ ├── Interface.csv │ │ │ │ ├── SuperClass.csv │ │ │ │ └── SuperInterface.csv │ │ │ ├── evalTest_16 │ │ │ │ ├── Class1.csv │ │ │ │ ├── Class1_abstract.csv │ │ │ │ ├── Class1_public.csv │ │ │ │ ├── Class1_public_abstract.csv │ │ │ │ ├── Class2.csv │ │ │ │ ├── Class2_abstract.csv │ │ │ │ ├── Class2_public.csv │ │ │ │ ├── Class2_public_abstract.csv │ │ │ │ ├── Class3.csv │ │ │ │ ├── Class3_abstract.csv │ │ │ │ ├── Class3_public.csv │ │ │ │ ├── Class3_public_abstract.csv │ │ │ │ ├── Class4.csv │ │ │ │ ├── Class4_abstract.csv │ │ │ │ ├── Class4_public.csv │ │ │ │ └── Class4_public_abstract.csv │ │ │ ├── evalTest_17 │ │ │ │ ├── Ret.csv │ │ │ │ ├── Val.csv │ │ │ │ └── ValLoc.csv │ │ │ ├── evalTest_18 │ │ │ │ └── DefUseDetail.csv │ │ │ ├── evalTest_19 │ │ │ │ └── P.csv │ │ │ ├── evalTest_2 │ │ │ │ ├── Arity.csv │ │ │ │ └── MoreThan3.csv │ │ │ ├── evalTest_3 │ │ │ │ ├── Negative.csv │ │ │ │ └── Positive.csv │ │ │ ├── evalTest_4 │ │ │ │ ├── IConstant.csv │ │ │ │ ├── Predicate.csv │ │ │ │ ├── SConstant.csv │ │ │ │ └── Variable.csv │ │ │ ├── evalTest_5 │ │ │ │ ├── IncompleteTyped.csv │ │ │ │ ├── InconsistentTyped.csv │ │ │ │ └── PredType.csv │ │ │ ├── evalTest_6 │ │ │ │ ├── Error.csv │ │ │ │ ├── ParentStratum.csv │ │ │ │ └── SameStratum.csv │ │ │ ├── evalTest_7 │ │ │ │ └── CartesianProjectionWarning.csv │ │ │ ├── evalTest_8 │ │ │ │ ├── Arity.csv │ │ │ │ └── ArityError.csv │ │ │ └── evalTest_9 │ │ │ │ └── AllVarInExpr.csv │ │ ├── facts │ │ │ ├── .gitignore │ │ │ ├── IMPORT.csv │ │ │ ├── OUTPUT.csv │ │ │ ├── P.csv │ │ │ ├── Program.csv │ │ │ ├── Program1.csv │ │ │ ├── Q.csv │ │ │ └── evalTest_19.csv │ │ └── input_1.in │ ├── withmeta │ │ ├── evalTest_1.in │ │ ├── evalTest_2.in │ │ ├── evalTest_3.in │ │ ├── evalTest_5.in │ │ └── facts │ │ │ ├── A.csv │ │ │ ├── ATOM.csv │ │ │ ├── EDB.csv │ │ │ ├── OUTPUT.csv │ │ │ └── TYPEOF.csv │ ├── withneg │ │ ├── ATOM.csv │ │ ├── OUTPUT.csv │ │ ├── evalTest_1.in │ │ ├── evalTest_2.in │ │ └── evalTest_3.in │ └── withwildcard │ │ ├── evalTest_1.in │ │ └── evalTest_2.in ├── parser │ ├── invalid │ │ ├── parseTest_1.in │ │ ├── parseTest_10.in │ │ ├── parseTest_11.in │ │ ├── parseTest_12.in │ │ ├── parseTest_13.in │ │ ├── parseTest_14.in │ │ ├── parseTest_15.in │ │ ├── parseTest_16.in │ │ ├── parseTest_2.in │ │ ├── parseTest_3.in │ │ ├── parseTest_4.in │ │ ├── parseTest_5.in │ │ ├── parseTest_6.in │ │ ├── parseTest_7.in │ │ ├── parseTest_8.in │ │ └── parseTest_9.in │ └── valid │ │ ├── parseTest_1.in │ │ ├── parseTest_10.in │ │ ├── parseTest_11.in │ │ ├── parseTest_12.in │ │ ├── parseTest_13.in │ │ ├── parseTest_14.in │ │ ├── parseTest_15.in │ │ ├── parseTest_3.in │ │ ├── parseTest_4.in │ │ ├── parseTest_5.in │ │ ├── parseTest_6.in │ │ ├── parseTest_7.in │ │ ├── parseTest_8.in │ │ └── parseTest_9.in ├── pretty │ └── testPretty_1.in ├── semantic │ ├── semantic1.expected │ ├── semantic1.in │ ├── semantic10.expected │ ├── semantic10.in │ ├── semantic11.expected │ ├── semantic11.in │ ├── semantic2.expected │ ├── semantic2.in │ ├── semantic3.expected │ ├── semantic3.in │ ├── semantic4.expected │ ├── semantic4.in │ ├── semantic5.expected │ ├── semantic5.in │ ├── semantic6.expected │ ├── semantic6.in │ ├── semantic8.expected │ ├── semantic8.in │ ├── semantic9.expected │ └── semantic9.in ├── stratification │ ├── strat_1.in │ └── strat_2.in └── types │ ├── typeTest_1.in │ ├── typeTest_2.in │ ├── typeTest_3.in │ ├── typeTest_4.in │ ├── typeTest_5.in │ └── typeTest_6.in └── tools ├── gen-extractor-program.py ├── metadl-mode.el ├── parse-name.mdl └── prel2dot.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/LICENSE -------------------------------------------------------------------------------- /README.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/README.org -------------------------------------------------------------------------------- /deps/rt.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/deps/rt.jar -------------------------------------------------------------------------------- /docker/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/docker/Dockerfile -------------------------------------------------------------------------------- /docker/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/docker/build.sh -------------------------------------------------------------------------------- /docker/run_performance.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/docker/run_performance.bash -------------------------------------------------------------------------------- /docker/run_quality.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/docker/run_quality.bash -------------------------------------------------------------------------------- /examples/ancestor.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/ancestor.in -------------------------------------------------------------------------------- /examples/applications/arity-check.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/applications/arity-check.mdl -------------------------------------------------------------------------------- /examples/applications/cartesian-lint.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/applications/cartesian-lint.mdl -------------------------------------------------------------------------------- /examples/applications/strata.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/applications/strata.mdl -------------------------------------------------------------------------------- /examples/arity/arity.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/arity/arity.mdl -------------------------------------------------------------------------------- /examples/arity/arity_x8.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/arity/arity_x8.mdl -------------------------------------------------------------------------------- /examples/arity/arity_x80.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/arity/arity_x80.mdl -------------------------------------------------------------------------------- /examples/arity/minidoop.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/arity/minidoop.mdl -------------------------------------------------------------------------------- /examples/arity/minidoop_x8.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/arity/minidoop_x8.mdl -------------------------------------------------------------------------------- /examples/arity/minidoop_x80.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/arity/minidoop_x80.mdl -------------------------------------------------------------------------------- /examples/fsa.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/fsa.in -------------------------------------------------------------------------------- /examples/import_self.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/import_self.in -------------------------------------------------------------------------------- /examples/metadl-java/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/metadl-java/Makefile -------------------------------------------------------------------------------- /examples/metadl-java/error-prone-metadl.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/metadl-java/error-prone-metadl.mdl -------------------------------------------------------------------------------- /examples/metadl-java/gen-hybrid.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/metadl-java/gen-hybrid.sh -------------------------------------------------------------------------------- /examples/metadl-java/spot-bugs-metadl.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/metadl-java/spot-bugs-metadl.mdl -------------------------------------------------------------------------------- /examples/minidoop/minidoop.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/minidoop/minidoop.mdl -------------------------------------------------------------------------------- /examples/nat.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/nat.in -------------------------------------------------------------------------------- /examples/recedb.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/recedb.in -------------------------------------------------------------------------------- /examples/typecheck.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/examples/typecheck.in -------------------------------------------------------------------------------- /facts/DUMMY_FILE: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/gradlew -------------------------------------------------------------------------------- /settings.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/settings.gradle -------------------------------------------------------------------------------- /sourceme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/sourceme -------------------------------------------------------------------------------- /src/.gitignore: -------------------------------------------------------------------------------- 1 | /gen/ 2 | -------------------------------------------------------------------------------- /src/jastadd/CodeGen.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/jastadd/CodeGen.jrag -------------------------------------------------------------------------------- /src/jastadd/Comparisons.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/jastadd/Comparisons.jrag -------------------------------------------------------------------------------- /src/jastadd/Constructors.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/jastadd/Constructors.jrag -------------------------------------------------------------------------------- /src/jastadd/DomainSeparation.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/jastadd/DomainSeparation.jrag -------------------------------------------------------------------------------- /src/jastadd/Eval.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/jastadd/Eval.jrag -------------------------------------------------------------------------------- /src/jastadd/Functor.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/jastadd/Functor.jrag -------------------------------------------------------------------------------- /src/jastadd/GlobalNames.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/jastadd/GlobalNames.jrag -------------------------------------------------------------------------------- /src/jastadd/PatternLang.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/jastadd/PatternLang.jrag -------------------------------------------------------------------------------- /src/jastadd/PrettyPrinting.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/jastadd/PrettyPrinting.jrag -------------------------------------------------------------------------------- /src/jastadd/Relations.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/jastadd/Relations.jrag -------------------------------------------------------------------------------- /src/jastadd/SemanticAnalysis.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/jastadd/SemanticAnalysis.jrag -------------------------------------------------------------------------------- /src/jastadd/Stratification.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/jastadd/Stratification.jrag -------------------------------------------------------------------------------- /src/jastadd/Structure.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/jastadd/Structure.jrag -------------------------------------------------------------------------------- /src/jastadd/Types.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/jastadd/Types.jrag -------------------------------------------------------------------------------- /src/jastadd/VariableMap.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/jastadd/VariableMap.jrag -------------------------------------------------------------------------------- /src/jastadd/lang.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/jastadd/lang.ast -------------------------------------------------------------------------------- /src/java/eval/Control.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/eval/Control.java -------------------------------------------------------------------------------- /src/java/eval/EvaluationContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/eval/EvaluationContext.java -------------------------------------------------------------------------------- /src/java/eval/Index.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/eval/Index.java -------------------------------------------------------------------------------- /src/java/eval/Operation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/eval/Operation.java -------------------------------------------------------------------------------- /src/java/eval/Relation2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/eval/Relation2.java -------------------------------------------------------------------------------- /src/java/eval/Stratum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/eval/Stratum.java -------------------------------------------------------------------------------- /src/java/eval/Tuple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/eval/Tuple.java -------------------------------------------------------------------------------- /src/java/eval/TupleView.java: -------------------------------------------------------------------------------- 1 | package eval; 2 | 3 | public class TupleView { 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/java/incremental/IncrementalDriver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/incremental/IncrementalDriver.java -------------------------------------------------------------------------------- /src/java/incremental/ProgramSplit.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/incremental/ProgramSplit.java -------------------------------------------------------------------------------- /src/java/lang/CmdLineOpts.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/lang/CmdLineOpts.java -------------------------------------------------------------------------------- /src/java/lang/Compiler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/lang/Compiler.java -------------------------------------------------------------------------------- /src/java/lang/cons/ObjLangASTNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/lang/cons/ObjLangASTNode.java -------------------------------------------------------------------------------- /src/java/lang/cons/PatternConstraint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/lang/cons/PatternConstraint.java -------------------------------------------------------------------------------- /src/java/lang/io/CSVUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/lang/io/CSVUtil.java -------------------------------------------------------------------------------- /src/java/lang/io/FileUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/lang/io/FileUtil.java -------------------------------------------------------------------------------- /src/java/lang/io/SQLUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/lang/io/SQLUtil.java -------------------------------------------------------------------------------- /src/java/lang/io/SimpleLogger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/lang/io/SimpleLogger.java -------------------------------------------------------------------------------- /src/java/lang/io/StringUID.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/lang/io/StringUID.java -------------------------------------------------------------------------------- /src/java/lang/java/obj/DatalogProjection2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/lang/java/obj/DatalogProjection2.java -------------------------------------------------------------------------------- /src/java/lang/java/obj/DatalogProjectionSink.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/lang/java/obj/DatalogProjectionSink.java -------------------------------------------------------------------------------- /src/java/lang/java/obj/FileIdDatabase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/lang/java/obj/FileIdDatabase.java -------------------------------------------------------------------------------- /src/java/lang/relation/PseudoTuple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/lang/relation/PseudoTuple.java -------------------------------------------------------------------------------- /src/java/lang/relation/RelationWrapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/lang/relation/RelationWrapper.java -------------------------------------------------------------------------------- /src/java/lang/relation/TupleInserter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/lang/relation/TupleInserter.java -------------------------------------------------------------------------------- /src/java/prof/Profile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/prof/Profile.java -------------------------------------------------------------------------------- /src/java/swig/SWIGSouffleProgram.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/swig/SWIGSouffleProgram.java -------------------------------------------------------------------------------- /src/java/swig/SWIGSouffleRelation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/swig/SWIGSouffleRelation.java -------------------------------------------------------------------------------- /src/java/swig/SWIGSouffleRelationAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/swig/SWIGSouffleRelationAdapter.java -------------------------------------------------------------------------------- /src/java/swig/SWIGSouffleTuple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/swig/SWIGSouffleTuple.java -------------------------------------------------------------------------------- /src/java/swig/SWIGTYPE_p_souffle__SouffleProgram.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/swig/SWIGTYPE_p_souffle__SouffleProgram.java -------------------------------------------------------------------------------- /src/java/swig/SWIGTYPE_p_std__ostream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/swig/SWIGTYPE_p_std__ostream.java -------------------------------------------------------------------------------- /src/java/swig/SWIGUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/swig/SWIGUtil.java -------------------------------------------------------------------------------- /src/java/swig/SwigInterface.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/swig/SwigInterface.java -------------------------------------------------------------------------------- /src/java/swig/SwigInterfaceJNI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/swig/SwigInterfaceJNI.java -------------------------------------------------------------------------------- /src/java/swig/map_string_string.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/java/swig/map_string_string.java -------------------------------------------------------------------------------- /src/lang/common/obj/jastadd/DatalogProjection.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/common/obj/jastadd/DatalogProjection.jrag -------------------------------------------------------------------------------- /src/lang/common/pat/jastadd/ASTBuilder.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/common/pat/jastadd/ASTBuilder.jrag -------------------------------------------------------------------------------- /src/lang/common/pat/jastadd/PatternPredicates.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/common/pat/jastadd/PatternPredicates.jrag -------------------------------------------------------------------------------- /src/lang/common/pat/jastadd/PatternToDatalog.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/common/pat/jastadd/PatternToDatalog.jrag -------------------------------------------------------------------------------- /src/lang/common/pat/jastadd/Tokens.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/common/pat/jastadd/Tokens.jrag -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/Annotations.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/Annotations.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/BasicTWR.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/BasicTWR.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/BoundNames.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/BoundNames.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/ConstructorReference.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/ConstructorReference.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/Copied.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/Copied.jrag -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/Diamond.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/Diamond.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/EnhancedFor.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/EnhancedFor.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/Enums.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/Enums.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/ErrorCheck.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/ErrorCheck.jrag -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/GenericMethods.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/GenericMethods.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/Generics.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/Generics.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/IntersectionCasts.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/IntersectionCasts.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/Java.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/Java.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/Java8PatternToDatalog.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/Java8PatternToDatalog.jrag -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/Lambda.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/Lambda.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/LambdaAnonymousDecl.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/LambdaAnonymousDecl.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/Literals.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/Literals.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/Literals.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/Literals.jrag -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/MethodReference.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/MethodReference.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/MultiCatch.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/MultiCatch.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/NTA.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/NTA.jrag -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/NTAFinally.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/NTAFinally.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/NodeConstructors.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/NodeConstructors.jrag -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/ParseNameAsLiterals.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/ParseNameAsLiterals.jrag -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/StaticImports.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/StaticImports.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/Tokens.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/Tokens.jrag -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/TryWithResources.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/TryWithResources.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/jastadd/VariableArityParameters.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/jastadd/VariableArityParameters.ast -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/Annotations.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/Annotations.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/ConstructorReference.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/ConstructorReference.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/Diamond.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/Diamond.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/EnhancedFor.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/EnhancedFor.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/Enums.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/Enums.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/ErrorRecovery.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/ErrorRecovery.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/GenericMethods.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/GenericMethods.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/Generics.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/Generics.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/Goal.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/Goal.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/Header.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/Header.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/InterfaceMethods.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/InterfaceMethods.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/IntersectionCasts.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/IntersectionCasts.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/Java1.4.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/Java1.4.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/Lambda.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/Lambda.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/Literals.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/Literals.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/MethodReference.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/MethodReference.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/MultiCatch.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/MultiCatch.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/NonGenericTypes.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/NonGenericTypes.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/PackageModifier.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/PackageModifier.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/Preamble.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/Preamble.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/Precedence.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/Precedence.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/StaticImports.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/StaticImports.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/TryWithResources.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/TryWithResources.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/VariableArityParameters.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/VariableArityParameters.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/parser/java14fix.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/parser/java14fix.parser -------------------------------------------------------------------------------- /src/lang/java8/pat/scanner/Comments.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/scanner/Comments.flex -------------------------------------------------------------------------------- /src/lang/java8/pat/scanner/Header.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/scanner/Header.flex -------------------------------------------------------------------------------- /src/lang/java8/pat/scanner/Identifiers.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/scanner/Identifiers.flex -------------------------------------------------------------------------------- /src/lang/java8/pat/scanner/Keywords.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/scanner/Keywords.flex -------------------------------------------------------------------------------- /src/lang/java8/pat/scanner/Literals.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/scanner/Literals.flex -------------------------------------------------------------------------------- /src/lang/java8/pat/scanner/Macros.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/scanner/Macros.flex -------------------------------------------------------------------------------- /src/lang/java8/pat/scanner/Operators.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/scanner/Operators.flex -------------------------------------------------------------------------------- /src/lang/java8/pat/scanner/Postamble.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/scanner/Postamble.flex -------------------------------------------------------------------------------- /src/lang/java8/pat/scanner/Preamble.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/scanner/Preamble.flex -------------------------------------------------------------------------------- /src/lang/java8/pat/scanner/RulesPreamble.flex: -------------------------------------------------------------------------------- 1 | %state STRING 2 | 3 | %% 4 | 5 | -------------------------------------------------------------------------------- /src/lang/java8/pat/scanner/Separators.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/scanner/Separators.flex -------------------------------------------------------------------------------- /src/lang/java8/pat/scanner/WhiteSpace.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/java8/pat/scanner/WhiteSpace.flex -------------------------------------------------------------------------------- /src/lang/metadl/obj/jastadd/DatalogProjection.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/metadl/obj/jastadd/DatalogProjection.jrag -------------------------------------------------------------------------------- /src/lang/metadl/obj/jastadd/Utils.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/metadl/obj/jastadd/Utils.jrag -------------------------------------------------------------------------------- /src/lang/metadl/obj/jastadd/lang.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/metadl/obj/jastadd/lang.ast -------------------------------------------------------------------------------- /src/lang/metadl/obj/parser/lang.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/metadl/obj/parser/lang.parser -------------------------------------------------------------------------------- /src/lang/metadl/obj/scanner/scanner.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/metadl/obj/scanner/scanner.flex -------------------------------------------------------------------------------- /src/lang/metadl/pat/jastadd/MetaDLPatternToDatalog.jrag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/metadl/pat/jastadd/MetaDLPatternToDatalog.jrag -------------------------------------------------------------------------------- /src/lang/metadl/pat/jastadd/patlang.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/metadl/pat/jastadd/patlang.ast -------------------------------------------------------------------------------- /src/lang/metadl/pat/parser/lang.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/metadl/pat/parser/lang.parser -------------------------------------------------------------------------------- /src/lang/metadl/pat/scanner/scanner.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/lang/metadl/pat/scanner/scanner.flex -------------------------------------------------------------------------------- /src/parser/metadl.parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/parser/metadl.parser -------------------------------------------------------------------------------- /src/scanner/scanner.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/scanner/scanner.flex -------------------------------------------------------------------------------- /src/test/lang/DomainSeparationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/test/lang/DomainSeparationTest.java -------------------------------------------------------------------------------- /src/test/lang/EvaluationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/test/lang/EvaluationTest.java -------------------------------------------------------------------------------- /src/test/lang/IncrementalTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/test/lang/IncrementalTest.java -------------------------------------------------------------------------------- /src/test/lang/ParseTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/test/lang/ParseTests.java -------------------------------------------------------------------------------- /src/test/lang/SemanticErrorTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/test/lang/SemanticErrorTests.java -------------------------------------------------------------------------------- /src/test/lang/TypeErrorTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/test/lang/TypeErrorTests.java -------------------------------------------------------------------------------- /src/test/lang/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/src/test/lang/Util.java -------------------------------------------------------------------------------- /tests/domain-separation/circular.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/domain-separation/circular.mdl -------------------------------------------------------------------------------- /tests/domain-separation/domain.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/domain-separation/domain.mdl -------------------------------------------------------------------------------- /tests/domain-separation/locals1.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/domain-separation/locals1.mdl -------------------------------------------------------------------------------- /tests/evaluation/evalTest_1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/evalTest_1.in -------------------------------------------------------------------------------- /tests/evaluation/evalTest_10.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/evalTest_10.in -------------------------------------------------------------------------------- /tests/evaluation/evalTest_11.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/evalTest_11.in -------------------------------------------------------------------------------- /tests/evaluation/evalTest_12.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/evalTest_12.in -------------------------------------------------------------------------------- /tests/evaluation/evalTest_13.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/evalTest_13.in -------------------------------------------------------------------------------- /tests/evaluation/evalTest_14.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/evalTest_14.in -------------------------------------------------------------------------------- /tests/evaluation/evalTest_2.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/evalTest_2.in -------------------------------------------------------------------------------- /tests/evaluation/evalTest_3.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/evalTest_3.in -------------------------------------------------------------------------------- /tests/evaluation/evalTest_4.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/evalTest_4.in -------------------------------------------------------------------------------- /tests/evaluation/evalTest_5.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/evalTest_5.in -------------------------------------------------------------------------------- /tests/evaluation/evalTest_6.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/evalTest_6.in -------------------------------------------------------------------------------- /tests/evaluation/evalTest_7.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/evalTest_7.in -------------------------------------------------------------------------------- /tests/evaluation/evalTest_8.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/evalTest_8.in -------------------------------------------------------------------------------- /tests/evaluation/evalTest_9.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/evalTest_9.in -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/attr-provenance.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/attr-provenance.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/bad-covariant-equals.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/bad-covariant-equals.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/boxed-primitive-constructor.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/boxed-primitive-constructor.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/class-hierarchy-utils.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/class-hierarchy-utils.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/clone-idioms.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/clone-idioms.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/attr-provenance/MissingProvenance.csv: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/attr-provenance/ProvenanceData.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/attr-provenance/ProvenanceData.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/bad-covariant-equals/BadEqualsReport.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/bad-covariant-equals/BadEqualsReport.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/boxed-primitive-constructor/PrimitiveCtorDetail.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/boxed-primitive-constructor/PrimitiveCtorDetail.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/boxed-primitive-constructor/PrimitiveStringCtorDetail.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/boxed-primitive-constructor/PrimitiveStringCtorDetail.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/class-hierarchy-utils/OverrideDetail.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/class-hierarchy-utils/OverrideDetail.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/clone-idioms/BadCloneReport.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/clone-idioms/BadCloneReport.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/java7/Diamond.csv: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/java7/Multicatch.csv: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/java7/NumericLiterals.csv: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/java7/TryWithResources.csv: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/java8/Lambda1.csv: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/java8/MethodRef.csv: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/missing-override/MissingOverrideDetail.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/missing-override/MissingOverrideDetail.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/names/FieldNames.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/names/FieldNames.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/names/MethodNames.csv: -------------------------------------------------------------------------------- 1 | c,foo 2 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/naming-convention/WarningFieldName.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/naming-convention/WarningFieldName.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/naming-convention/WarningMethodName.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/naming-convention/WarningMethodName.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/naming-convention/WarningTypeName.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/naming-convention/WarningTypeName.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/number-ctor/NumberCtorDetail.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/number-ctor/NumberCtorDetail.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/number-ctor/Result.csv: -------------------------------------------------------------------------------- 1 | Passed 2 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/operator-precedence/ConfusingDetail.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/operator-precedence/ConfusingDetail.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/operator-precedence/ExtraParenDetail.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/operator-precedence/ExtraParenDetail.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/paper-examples/ArrayAccess.csv: -------------------------------------------------------------------------------- 1 | 13,9,tests/evaluation/metadl-java/src/paper-examples/Arrays.java 2 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/paper-examples/NewArray.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/paper-examples/NewArray.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/paper-examples/NewArrayNoInit.csv: -------------------------------------------------------------------------------- 1 | 2,18,tests/evaluation/metadl-java/src/paper-examples/Arrays.java 2 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/paper-examples/NewArrayStartEnd.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/paper-examples/NewArrayStartEnd.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/reference-equality/BadEqDetail.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/reference-equality/BadEqDetail.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/reference-to-mutable-object/MismatchDetail.csv: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/reference-to-mutable-object/NonPublicFieldReturnDetail.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/reference-to-mutable-object/NonPublicFieldReturnDetail.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/reference-to-mutable-object/ParamToNonPublicFieldDetail.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/reference-to-mutable-object/ParamToNonPublicFieldDetail.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/reference-to-mutable-object/Result.csv: -------------------------------------------------------------------------------- 1 | pass 2 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/switch-no-default/Correct.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/switch-no-default/Correct.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/switch-no-default/DesireWarning.csv: -------------------------------------------------------------------------------- 1 | 149 2 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/switch-no-default/ExpectWarning.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/switch-no-default/ExpectWarning.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/switch-no-default/Mismatch.csv: -------------------------------------------------------------------------------- 1 | 49 2 | 106 3 | 2144 4 | 2423 5 | 2575 6 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/switch-no-default/MismatchDetails.csv: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/switch-no-default/SwitchWithoutDefaultDetail.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/switch-no-default/SwitchWithoutDefaultDetail.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/switch-no-default/TestResult.csv: -------------------------------------------------------------------------------- 1 | Pass 2 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/type-param-unused-in-formals/TypeUnusedInFormalsDetail.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/type-param-unused-in-formals/TypeUnusedInFormalsDetail.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/unwritten-field/Result.csv: -------------------------------------------------------------------------------- 1 | pass 2 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/expected/unwritten-field/WarningDetails.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/expected/unwritten-field/WarningDetails.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/facts/.gitignore: -------------------------------------------------------------------------------- 1 | *.csv -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/facts/DUMMY_FILE: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/java7.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/java7.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/java8.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/java8.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/missing-override.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/missing-override.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/name-binding.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/name-binding.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/names.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/names.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/naming-convention.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/naming-convention.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/number-ctor.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/number-ctor.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/operator-precedence.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/operator-precedence.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/paper-examples.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/paper-examples.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/reference-equality.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/reference-equality.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/reference-to-mutable-object.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/reference-to-mutable-object.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/attr-provenance/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/attr-provenance/A.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/attr-provenance/B.java: -------------------------------------------------------------------------------- 1 | public class B extends A { 2 | } 3 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/attr-provenance/C.java: -------------------------------------------------------------------------------- 1 | public class C extends B { 2 | 3 | } 4 | -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/attr-provenance/Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/attr-provenance/Test.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/bad-covariant-equals/Negative.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/bad-covariant-equals/Negative.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/bad-covariant-equals/Positive.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/bad-covariant-equals/Positive.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/bad-covariant-equals/spotbugs/CovariantEqualsNegativeCases.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/bad-covariant-equals/spotbugs/CovariantEqualsNegativeCases.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/bad-covariant-equals/spotbugs/CovariantEqualsPositiveCase1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/bad-covariant-equals/spotbugs/CovariantEqualsPositiveCase1.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/bad-covariant-equals/spotbugs/CovariantEqualsPositiveCase2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/bad-covariant-equals/spotbugs/CovariantEqualsPositiveCase2.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/bad-covariant-equals/spotbugs/CovariantEqualsPositiveCase3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/bad-covariant-equals/spotbugs/CovariantEqualsPositiveCase3.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/bad-covariant-equals/spotbugs/CovariantEqualsPositiveCase4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/bad-covariant-equals/spotbugs/CovariantEqualsPositiveCase4.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/bad-covariant-equals/spotbugs/CovariantEqualsPositiveCase5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/bad-covariant-equals/spotbugs/CovariantEqualsPositiveCase5.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/boxed-primitive-constructor/Negative.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/boxed-primitive-constructor/Negative.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/boxed-primitive-constructor/Positive.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/boxed-primitive-constructor/Positive.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/class-hierarchy-utils/Test1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/class-hierarchy-utils/Test1.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/clone-idioms/Clone1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/clone-idioms/Clone1.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/clone-idioms/CloneIdiom1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/clone-idioms/CloneIdiom1.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/clone-idioms/CloneIdiom2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/clone-idioms/CloneIdiom2.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/clone-idioms/CloneIdiom3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/clone-idioms/CloneIdiom3.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/clone-idioms/CloneIdiom4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/clone-idioms/CloneIdiom4.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/java7/Java7Features.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/java7/Java7Features.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/java8/Java8Features.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/java8/Java8Features.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/missing-override/Classes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/missing-override/Classes.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/missing-override/Interfaces.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/missing-override/Interfaces.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/name-binding/Test1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/name-binding/Test1.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/names/Names.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/names/Names.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/naming-convention/Negative.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/naming-convention/Negative.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/naming-convention/Positive.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/naming-convention/Positive.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/number-ctor/Bug1195.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/number-ctor/Bug1195.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/number-ctor/Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/number-ctor/Test.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/operator-precedence/Negative.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/operator-precedence/Negative.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/operator-precedence/Positive.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/operator-precedence/Positive.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/paper-examples/Arrays.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/paper-examples/Arrays.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/reference-equality/Test1Positive.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/reference-equality/Test1Positive.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/reference-equality/Test2Negative.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/reference-equality/Test2Negative.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/reference-to-mutable-object/Bug1397.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/reference-to-mutable-object/Bug1397.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/reference-to-mutable-object/Bug1993328.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/reference-to-mutable-object/Bug1993328.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/reference-to-mutable-object/Bug3279718.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/reference-to-mutable-object/Bug3279718.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/reference-to-mutable-object/Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/reference-to-mutable-object/Test.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/switch-no-default/Bug1298.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/switch-no-default/Bug1298.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/switch-no-default/Bug1392.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/switch-no-default/Bug1392.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/switch-no-default/Bug2539590.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/switch-no-default/Bug2539590.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/switch-no-default/Bug3135098.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/switch-no-default/Bug3135098.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/switch-no-default/Bug3180721.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/switch-no-default/Bug3180721.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/switch-no-default/Bug3442048.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/switch-no-default/Bug3442048.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/switch-no-default/Bug3498829.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/switch-no-default/Bug3498829.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/switch-no-default/Bug3560970.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/switch-no-default/Bug3560970.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/switch-no-default/Ideas_2009_01_14.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/switch-no-default/Ideas_2009_01_14.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/switch-no-default/SwitchDup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/switch-no-default/SwitchDup.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/type-param-unused-in-formals/Negative.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/type-param-unused-in-formals/Negative.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/type-param-unused-in-formals/Positive.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/type-param-unused-in-formals/Positive.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/unwritten-field/Bug1307.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/unwritten-field/Bug1307.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/unwritten-field/Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/unwritten-field/Test.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/src/unwritten-field/Test2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/src/unwritten-field/Test2.java -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/switch-no-default.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/switch-no-default.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/type-param-unused-in-formals.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/type-param-unused-in-formals.mdl -------------------------------------------------------------------------------- /tests/evaluation/metadl-java/unwritten-field.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/metadl-java/unwritten-field.mdl -------------------------------------------------------------------------------- /tests/evaluation/withbind/evalTest_1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withbind/evalTest_1.in -------------------------------------------------------------------------------- /tests/evaluation/withbinpred/ATOM.csv: -------------------------------------------------------------------------------- 1 | 'A 2 | 'B 3 | 'Vars 4 | -------------------------------------------------------------------------------- /tests/evaluation/withbinpred/EDB.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withbinpred/EDB.csv -------------------------------------------------------------------------------- /tests/evaluation/withbinpred/OUTPUT.csv: -------------------------------------------------------------------------------- 1 | 'A 2 | 'B 3 | -------------------------------------------------------------------------------- /tests/evaluation/withbinpred/TYPEOF.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withbinpred/TYPEOF.csv -------------------------------------------------------------------------------- /tests/evaluation/withbinpred/Vars.csv: -------------------------------------------------------------------------------- 1 | 1 2 | 2 3 | 3 4 | 4 5 | 5 6 | -------------------------------------------------------------------------------- /tests/evaluation/withbinpred/evalTest_1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withbinpred/evalTest_1.in -------------------------------------------------------------------------------- /tests/evaluation/withbinpred/evalTest_2.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withbinpred/evalTest_2.in -------------------------------------------------------------------------------- /tests/evaluation/withbinpred/evalTest_3.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withbinpred/evalTest_3.in -------------------------------------------------------------------------------- /tests/evaluation/withbinpred/evalTest_4.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withbinpred/evalTest_4.in -------------------------------------------------------------------------------- /tests/evaluation/withbinpred/evalTest_5.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withbinpred/evalTest_5.in -------------------------------------------------------------------------------- /tests/evaluation/withbinpred/evalTest_6.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withbinpred/evalTest_6.in -------------------------------------------------------------------------------- /tests/evaluation/withbinpred/evalTest_7.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withbinpred/evalTest_7.in -------------------------------------------------------------------------------- /tests/evaluation/withbinpred/evalTest_8.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withbinpred/evalTest_8.in -------------------------------------------------------------------------------- /tests/evaluation/withbinpred/evalTest_9.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withbinpred/evalTest_9.in -------------------------------------------------------------------------------- /tests/evaluation/withedbs/A.csv: -------------------------------------------------------------------------------- 1 | A,B 2 | B,C 3 | C,D 4 | E,F 5 | G,H 6 | -------------------------------------------------------------------------------- /tests/evaluation/withedbs/ATOM.csv: -------------------------------------------------------------------------------- 1 | 'A 2 | 'Output 3 | -------------------------------------------------------------------------------- /tests/evaluation/withedbs/EDB.csv: -------------------------------------------------------------------------------- 1 | 'A,A.csv 2 | -------------------------------------------------------------------------------- /tests/evaluation/withedbs/OUTPUT.csv: -------------------------------------------------------------------------------- 1 | 'A 2 | -------------------------------------------------------------------------------- /tests/evaluation/withedbs/TYPEOF.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withedbs/TYPEOF.csv -------------------------------------------------------------------------------- /tests/evaluation/withedbs/evalTest_1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withedbs/evalTest_1.in -------------------------------------------------------------------------------- /tests/evaluation/withedbs/evalTest_2.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withedbs/evalTest_2.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/debug.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/debug.java -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_1.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_10.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_10.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_10_input.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_10_input.mdl -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_11.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_11.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_11_input.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_11_input.mdl -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_12.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_12.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_12_input.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_12_input.java -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_13.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_13.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_13_input.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_13_input.java -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_14.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_14.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_14_input.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_14_input.mdl -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_15.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_15.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_15_input.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_15_input.java -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_16.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_16.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_16_input.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_16_input.java -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_17.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_17.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_17.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_17.java -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_18.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_18.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_18_input.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_18_input.java -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_19.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_19.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_19.java: -------------------------------------------------------------------------------- 1 | class Test { } 2 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_2.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_2.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_2_input.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_2_input.mdl -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_3.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_3.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_3_input.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_3_input.mdl -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_4.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_4.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_4_input.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_4_input.mdl -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_5.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_5.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_5_input.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_5_input.mdl -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_6.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_6.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_6_input.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_6_input.mdl -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_7.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_7.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_7_input.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_7_input.mdl -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_8.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_8.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_8_input.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_8_input.mdl -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_9.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_9.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/evalTest_9_input.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/evalTest_9_input.in -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_10/Warning.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/expected/evalTest_10/Warning.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_11/OurExprEval.csv: -------------------------------------------------------------------------------- 1 | 3 2 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_12/IsClass.csv: -------------------------------------------------------------------------------- 1 | A 2 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_13/IsPublicMethod.csv: -------------------------------------------------------------------------------- 1 | h2 2 | f 3 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_13/IsVoidMethod.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/expected/evalTest_13/IsVoidMethod.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_14/IsNeq.csv: -------------------------------------------------------------------------------- 1 | A,B 2 | A,C 3 | B,C 4 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_15/Interface.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/expected/evalTest_15/Interface.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_15/SuperClass.csv: -------------------------------------------------------------------------------- 1 | B,A 2 | C,B 3 | C,A 4 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_15/SuperInterface.csv: -------------------------------------------------------------------------------- 1 | J,I 2 | H,J 3 | H,I 4 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_16/Class1.csv: -------------------------------------------------------------------------------- 1 | A_22 2 | A_23 3 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_16/Class1_abstract.csv: -------------------------------------------------------------------------------- 1 | A_16 2 | A_17 3 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_16/Class1_public.csv: -------------------------------------------------------------------------------- 1 | A_10 2 | A_11 3 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_16/Class1_public_abstract.csv: -------------------------------------------------------------------------------- 1 | A_4 2 | A_5 3 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_16/Class2.csv: -------------------------------------------------------------------------------- 1 | A_19 2 | A_20 3 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_16/Class2_abstract.csv: -------------------------------------------------------------------------------- 1 | A_13 2 | A_14 3 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_16/Class2_public.csv: -------------------------------------------------------------------------------- 1 | A_7 2 | A_8 3 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_16/Class2_public_abstract.csv: -------------------------------------------------------------------------------- 1 | A_1 2 | A_2 3 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_16/Class3.csv: -------------------------------------------------------------------------------- 1 | A_24 2 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_16/Class3_abstract.csv: -------------------------------------------------------------------------------- 1 | A_18 2 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_16/Class3_public.csv: -------------------------------------------------------------------------------- 1 | A_12 2 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_16/Class3_public_abstract.csv: -------------------------------------------------------------------------------- 1 | A_6 2 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_16/Class4.csv: -------------------------------------------------------------------------------- 1 | A_21 2 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_16/Class4_abstract.csv: -------------------------------------------------------------------------------- 1 | A_15 2 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_16/Class4_public.csv: -------------------------------------------------------------------------------- 1 | A_9 2 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_16/Class4_public_abstract.csv: -------------------------------------------------------------------------------- 1 | A_3 2 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_17/Ret.csv: -------------------------------------------------------------------------------- 1 | g,5 2 | f,14 3 | e,1 4 | h,23 5 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_17/Val.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/expected/evalTest_17/Val.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_17/ValLoc.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/expected/evalTest_17/ValLoc.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_18/DefUseDetail.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/expected/evalTest_18/DefUseDetail.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_19/P.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/expected/evalTest_19/P.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_2/Arity.csv: -------------------------------------------------------------------------------- 1 | 2 2 | 5 3 | 0 4 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_2/MoreThan3.csv: -------------------------------------------------------------------------------- 1 | 3 2 | 6 3 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_3/Negative.csv: -------------------------------------------------------------------------------- 1 | Z 2 | R 3 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_3/Positive.csv: -------------------------------------------------------------------------------- 1 | M 2 | Q 3 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_4/IConstant.csv: -------------------------------------------------------------------------------- 1 | 1 2 | 2 3 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_4/Predicate.csv: -------------------------------------------------------------------------------- 1 | F 2 | A 3 | P 4 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_4/SConstant.csv: -------------------------------------------------------------------------------- 1 | abc 2 | def -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_4/Variable.csv: -------------------------------------------------------------------------------- 1 | x 2 | y 3 | z 4 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_5/IncompleteTyped.csv: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_5/InconsistentTyped.csv: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_5/PredType.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/expected/evalTest_5/PredType.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_6/Error.csv: -------------------------------------------------------------------------------- 1 | BadA,BadC 2 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_6/ParentStratum.csv: -------------------------------------------------------------------------------- 1 | B,A 2 | C,B 3 | E,D 4 | Term,BadC 5 | C,Q 6 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_6/SameStratum.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/expected/evalTest_6/SameStratum.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_7/CartesianProjectionWarning.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/expected/evalTest_7/CartesianProjectionWarning.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_8/Arity.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/expected/evalTest_8/Arity.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_8/ArityError.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/expected/evalTest_8/ArityError.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/expected/evalTest_9/AllVarInExpr.csv: -------------------------------------------------------------------------------- 1 | w 2 | t 3 | x 4 | y 5 | u 6 | -------------------------------------------------------------------------------- /tests/evaluation/withimport/facts/.gitignore: -------------------------------------------------------------------------------- 1 | *.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/facts/IMPORT.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/facts/IMPORT.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/facts/OUTPUT.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/facts/OUTPUT.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/facts/P.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/facts/P.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/facts/Program.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/facts/Program.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/facts/Program1.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/facts/Program1.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/facts/Q.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/facts/Q.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/facts/evalTest_19.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/facts/evalTest_19.csv -------------------------------------------------------------------------------- /tests/evaluation/withimport/input_1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withimport/input_1.in -------------------------------------------------------------------------------- /tests/evaluation/withmeta/evalTest_1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withmeta/evalTest_1.in -------------------------------------------------------------------------------- /tests/evaluation/withmeta/evalTest_2.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withmeta/evalTest_2.in -------------------------------------------------------------------------------- /tests/evaluation/withmeta/evalTest_3.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withmeta/evalTest_3.in -------------------------------------------------------------------------------- /tests/evaluation/withmeta/evalTest_5.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withmeta/evalTest_5.in -------------------------------------------------------------------------------- /tests/evaluation/withmeta/facts/A.csv: -------------------------------------------------------------------------------- 1 | 1 2 | 2 3 | 3 4 | 4 5 | -------------------------------------------------------------------------------- /tests/evaluation/withmeta/facts/ATOM.csv: -------------------------------------------------------------------------------- 1 | 'A 2 | 'Output 3 | -------------------------------------------------------------------------------- /tests/evaluation/withmeta/facts/EDB.csv: -------------------------------------------------------------------------------- 1 | 'A,A.csv 2 | -------------------------------------------------------------------------------- /tests/evaluation/withmeta/facts/OUTPUT.csv: -------------------------------------------------------------------------------- 1 | 'A 2 | -------------------------------------------------------------------------------- /tests/evaluation/withmeta/facts/TYPEOF.csv: -------------------------------------------------------------------------------- 1 | 'A,[Integer] 2 | -------------------------------------------------------------------------------- /tests/evaluation/withneg/ATOM.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withneg/ATOM.csv -------------------------------------------------------------------------------- /tests/evaluation/withneg/OUTPUT.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withneg/OUTPUT.csv -------------------------------------------------------------------------------- /tests/evaluation/withneg/evalTest_1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withneg/evalTest_1.in -------------------------------------------------------------------------------- /tests/evaluation/withneg/evalTest_2.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withneg/evalTest_2.in -------------------------------------------------------------------------------- /tests/evaluation/withneg/evalTest_3.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withneg/evalTest_3.in -------------------------------------------------------------------------------- /tests/evaluation/withwildcard/evalTest_1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withwildcard/evalTest_1.in -------------------------------------------------------------------------------- /tests/evaluation/withwildcard/evalTest_2.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/evaluation/withwildcard/evalTest_2.in -------------------------------------------------------------------------------- /tests/parser/invalid/parseTest_1.in: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/parser/invalid/parseTest_10.in: -------------------------------------------------------------------------------- 1 | A(x) :- B(x),. 2 | -------------------------------------------------------------------------------- /tests/parser/invalid/parseTest_11.in: -------------------------------------------------------------------------------- 1 | A(x) :- ,B(x). 2 | -------------------------------------------------------------------------------- /tests/parser/invalid/parseTest_12.in: -------------------------------------------------------------------------------- 1 | A(x) :- ,. 2 | -------------------------------------------------------------------------------- /tests/parser/invalid/parseTest_13.in: -------------------------------------------------------------------------------- 1 | A(x) :-. 2 | -------------------------------------------------------------------------------- /tests/parser/invalid/parseTest_14.in: -------------------------------------------------------------------------------- 1 | :- B(). 2 | -------------------------------------------------------------------------------- /tests/parser/invalid/parseTest_15.in: -------------------------------------------------------------------------------- 1 | A("kjn). 2 | -------------------------------------------------------------------------------- /tests/parser/invalid/parseTest_16.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/parser/invalid/parseTest_16.in -------------------------------------------------------------------------------- /tests/parser/invalid/parseTest_2.in: -------------------------------------------------------------------------------- 1 | A(x) :- B(x) 2 | -------------------------------------------------------------------------------- /tests/parser/invalid/parseTest_3.in: -------------------------------------------------------------------------------- 1 | A(x) B(x). 2 | -------------------------------------------------------------------------------- /tests/parser/invalid/parseTest_4.in: -------------------------------------------------------------------------------- 1 | A(x) :- , B(x). 2 | -------------------------------------------------------------------------------- /tests/parser/invalid/parseTest_5.in: -------------------------------------------------------------------------------- 1 | A(x) :- B(x),. 2 | -------------------------------------------------------------------------------- /tests/parser/invalid/parseTest_6.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/parser/invalid/parseTest_6.in -------------------------------------------------------------------------------- /tests/parser/invalid/parseTest_7.in: -------------------------------------------------------------------------------- 1 | A(,) :- B(x). 2 | -------------------------------------------------------------------------------- /tests/parser/invalid/parseTest_8.in: -------------------------------------------------------------------------------- 1 | A(x,) :- B(x). 2 | -------------------------------------------------------------------------------- /tests/parser/invalid/parseTest_9.in: -------------------------------------------------------------------------------- 1 | A(,x) :- B(x). 2 | -------------------------------------------------------------------------------- /tests/parser/valid/parseTest_1.in: -------------------------------------------------------------------------------- 1 | A(y) :- B1(y). 2 | -------------------------------------------------------------------------------- /tests/parser/valid/parseTest_10.in: -------------------------------------------------------------------------------- 1 | A(), B(x), C(123). 2 | -------------------------------------------------------------------------------- /tests/parser/valid/parseTest_11.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/parser/valid/parseTest_11.in -------------------------------------------------------------------------------- /tests/parser/valid/parseTest_12.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/parser/valid/parseTest_12.in -------------------------------------------------------------------------------- /tests/parser/valid/parseTest_13.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/parser/valid/parseTest_13.in -------------------------------------------------------------------------------- /tests/parser/valid/parseTest_14.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/parser/valid/parseTest_14.in -------------------------------------------------------------------------------- /tests/parser/valid/parseTest_15.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/parser/valid/parseTest_15.in -------------------------------------------------------------------------------- /tests/parser/valid/parseTest_3.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/parser/valid/parseTest_3.in -------------------------------------------------------------------------------- /tests/parser/valid/parseTest_4.in: -------------------------------------------------------------------------------- 1 | A(x,y) :- B1(y). 2 | -------------------------------------------------------------------------------- /tests/parser/valid/parseTest_5.in: -------------------------------------------------------------------------------- 1 | A(x) :- B1(x,y,z,d,q,e,f,1,2,3). 2 | -------------------------------------------------------------------------------- /tests/parser/valid/parseTest_6.in: -------------------------------------------------------------------------------- 1 | A() :- B1(). 2 | -------------------------------------------------------------------------------- /tests/parser/valid/parseTest_7.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/parser/valid/parseTest_7.in -------------------------------------------------------------------------------- /tests/parser/valid/parseTest_8.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/parser/valid/parseTest_8.in -------------------------------------------------------------------------------- /tests/parser/valid/parseTest_9.in: -------------------------------------------------------------------------------- 1 | A(). 2 | -------------------------------------------------------------------------------- /tests/pretty/testPretty_1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/pretty/testPretty_1.in -------------------------------------------------------------------------------- /tests/semantic/semantic1.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/semantic/semantic1.expected -------------------------------------------------------------------------------- /tests/semantic/semantic1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/semantic/semantic1.in -------------------------------------------------------------------------------- /tests/semantic/semantic10.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/semantic/semantic10.expected -------------------------------------------------------------------------------- /tests/semantic/semantic10.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/semantic/semantic10.in -------------------------------------------------------------------------------- /tests/semantic/semantic11.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/semantic/semantic11.expected -------------------------------------------------------------------------------- /tests/semantic/semantic11.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/semantic/semantic11.in -------------------------------------------------------------------------------- /tests/semantic/semantic2.expected: -------------------------------------------------------------------------------- 1 | Unbound variable(s): [y] in A(x, y) :- 2 | B(x). 3 | 4 | -------------------------------------------------------------------------------- /tests/semantic/semantic2.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/semantic/semantic2.in -------------------------------------------------------------------------------- /tests/semantic/semantic3.expected: -------------------------------------------------------------------------------- 1 | Non-ground fact: A(x, 1) 2 | -------------------------------------------------------------------------------- /tests/semantic/semantic3.in: -------------------------------------------------------------------------------- 1 | A(x, 1). 2 | -------------------------------------------------------------------------------- /tests/semantic/semantic4.expected: -------------------------------------------------------------------------------- 1 | Different Arities for predicate symbol: A 2 | -------------------------------------------------------------------------------- /tests/semantic/semantic4.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/semantic/semantic4.in -------------------------------------------------------------------------------- /tests/semantic/semantic5.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/semantic/semantic5.expected -------------------------------------------------------------------------------- /tests/semantic/semantic5.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/semantic/semantic5.in -------------------------------------------------------------------------------- /tests/semantic/semantic6.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/semantic/semantic6.expected -------------------------------------------------------------------------------- /tests/semantic/semantic6.in: -------------------------------------------------------------------------------- 1 | A(x) :- B(x), BIND(z, x + y). 2 | -------------------------------------------------------------------------------- /tests/semantic/semantic8.expected: -------------------------------------------------------------------------------- 1 | Unstratifiable program due to literal NOT(A(x, x)). 2 | -------------------------------------------------------------------------------- /tests/semantic/semantic8.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/semantic/semantic8.in -------------------------------------------------------------------------------- /tests/semantic/semantic9.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/semantic/semantic9.expected -------------------------------------------------------------------------------- /tests/semantic/semantic9.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/semantic/semantic9.in -------------------------------------------------------------------------------- /tests/stratification/strat_1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/stratification/strat_1.in -------------------------------------------------------------------------------- /tests/stratification/strat_2.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/stratification/strat_2.in -------------------------------------------------------------------------------- /tests/types/typeTest_1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/types/typeTest_1.in -------------------------------------------------------------------------------- /tests/types/typeTest_2.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/types/typeTest_2.in -------------------------------------------------------------------------------- /tests/types/typeTest_3.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/types/typeTest_3.in -------------------------------------------------------------------------------- /tests/types/typeTest_4.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/types/typeTest_4.in -------------------------------------------------------------------------------- /tests/types/typeTest_5.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/types/typeTest_5.in -------------------------------------------------------------------------------- /tests/types/typeTest_6.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tests/types/typeTest_6.in -------------------------------------------------------------------------------- /tools/gen-extractor-program.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tools/gen-extractor-program.py -------------------------------------------------------------------------------- /tools/metadl-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tools/metadl-mode.el -------------------------------------------------------------------------------- /tools/parse-name.mdl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tools/parse-name.mdl -------------------------------------------------------------------------------- /tools/prel2dot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lu-cs-sde/metadl/HEAD/tools/prel2dot.py --------------------------------------------------------------------------------