- main(String...) - Static method in class Boot.fsm.AHEADfsm2java
-
- main(String...) - Static method in class Boot.fsm.Fsm2Java
-
- main(String...) - Static method in class Boot.fsm.kevinFsm2java
-
- main(String...) - Static method in class Boot.fsm.sriramFsm2java
-
- main(String...) - Static method in class Boot.MDELite.catalina
-
- main(String...) - Static method in class Boot.MDELite.CategoryConform
-
- main(Class, String[], HashMap<String, String>, Common.IEnum[], Common.PEnum[], Common.PEnum[]) - Static method in class Boot.MDELite.Common
-
- main(String...) - Static method in class Boot.MDELite.fsm2meta
-
- main(String, String...) - Static method in class Boot.MDELite.Identity
-
do nothing meta transformation -- just check arguments
- main(String...) - Static method in class Boot.MDELite.meta2java
-
- main(String...) - Static method in class Boot.MDELite.MetaConform
-
- main(String...) - Static method in class Boot.MDELite.MetaIdentity
-
- main(String...) - Static method in class Boot.MDELite.vpl2OOSchema
-
Converts X.vpl.pl into X.schema.pl
- main(String...) - Static method in class CorrectResultsAfterChainingErrorMsgs.UpdateCorrectFiles
-
- main(String...) - Static method in class Grafit.StateConform
-
- main(String...) - Static method in class Grafit.StateParser
-
- main(String...) - Static method in class Grafit.toJavaCode
-
- main(String...) - Static method in class Grafit.toPromCode
-
- main(String...) - Static method in class LectureExamples.ChildEmpConstraint
-
- main(String...) - Static method in class LectureExamples.ConnConform
-
- main(String...) - Static method in class LectureExamples.ConnConformWNegation
-
- main(String...) - Static method in class LectureExamples.DogConstraints
-
- main(String...) - Static method in class LectureExamples.DogStream
-
- main(String...) - Static method in class LectureExamples.FamiliesM2M
-
- main(String...) - Static method in class LectureExamples.gen
-
produce files from given database of type "ex"
- main(String...) - Static method in class LectureExamples.HelloWorld
-
- main(String...) - Static method in class LectureExamples.OwnersOfMostDogs
-
- main(String...) - Static method in class MDL.All
-
enumerates every MDELite program
- main(String...) - Static method in class MDL.Catalina
-
- main(String...) - Static method in class MDL.InstOf
-
takes two inputs S.schema.pl Y.S.pl, and confirms or refutes
that the database conforms to the schema, not including schema constraints
- main(String...) - Static method in class MDL.JHydrate
-
- main(String...) - Static method in class MDL.MakeDB
-
- main(String...) - Static method in class MDL.MDETool
-
- main(String...) - Static method in class MDL.OO2DBSchema
-
reads X.ooschema.pl and outputs X.schema.pl by flattening -- propagating
columns of supertables to subtables
- main(String...) - Static method in class MDL.PrettyPrintDB
-
reads database X.S.pl and reports errors, if any; Schema
constraints not applied/evaluated.
- main(String...) - Static method in class MDL.ReadDB
-
reads database X.S.pl and reports errors, if any; Schema
constraints not applied/evaluated.
- main(String...) - Static method in class MDL.ReadSchema
-
reads schema from any ooschema or schema file and throws Error if errors
are found.
- main(String...) - Static method in class MDL.ReadTable
-
reads table X.pl or X.csv and reports errors
no schema constraints applied
- main(String[]) - Static method in class MDL.VerifyInstall
-
invokes violet from the command line; reports to System.err errors
and System.out if things go well
- main(String...) - Static method in class MDL.Version
-
prints the version of MDELite
- main(String...) - Static method in class MDL.Violet
-
invokes violet via process spawning
- main(String...) - Static method in class MDL.Violet2OOSchema
-
- main(String, String, String...) - Static method in class MDLUtilities.DocumentGenerator
-
create .html file outputHtml given a .htm BuildDocTest and the
sourceCodeFile (typically .java) from which to extract code.
- main(String...) - Static method in class MDLUtilities.Utils
-
- main(String...) - Static method in class Violett.CategoryConform
-
Conformance program for .vpl.pl databases
- main(String...) - Static method in class Violett.ClassConform
-
conformance program for Violet .vpl.pl databases
- main(String...) - Static method in class Violett.ClassParser
-
parser of X.class.violet files to produce X.vpl.pl database
- main(String...) - Static method in class Violett.ClassParserMac
-
parser of X.class.violet files to produce X.vpl.pl database
- main(String...) - Static method in class Violett.ClassUnParser
-
Unparser of X.vpl.pl files to X.class.violet
- main(String...) - Static method in class Violett.KlassParser
-
parser of X.class.violet files to produce X.vpl.pl database
- main(String...) - Static method in class Violett.StateConform
-
Conformance program for .vpl.pl databases
- main(String...) - Static method in class Violett.StateParser
-
parser for X.state.violet files into X.fsm.pl database
- main(String...) - Static method in class Violett.StateUnParser
-
Unparser of X.vpl.pl files to X.class.violet
- main(String...) - Static method in class Yuml.ClassConform
-
- main(String...) - Static method in class Yuml.ClassParser
-
- main(String...) - Static method in class Yuml.ClassUnParser
-
main prograqm
- makeAbstract() - Method in class PrologDB.TableSchema
-
setter and getter of abstract property
- makeConcrete() - Method in class PrologDB.TableSchema
-
- makeCycleTable() - Static method in class PrologDB.Table
-
- MakeDB - Class in MDL
-
- MakeDB() - Constructor for class MDL.MakeDB
-
- makedir(String) - Static method in class MDLUtilities.Utils
-
- makeString(ParsE, int, Object...) - Static method in enum MDLUtilities.ParsE
-
- makeString(String, Object...) - Static method in class MDLUtilities.Utils
-
converts explanation, where 2+char tokens that are UPPERCASE are replaced
with "%s"; the args fill in these as strings
- map(Function<Table, S>) - Method in class PrologDB.Table
-
transform a tbl to an object of type S
- marquee(String) - Static method in class Boot.MDELite.Common
-
- marquee() - Static method in class MDL.InstOf
-
standard marquee for an MDL program
- marquee() - Static method in class MDL.JHydrate
-
- marquee(String) - Static method in class MDL.MakeDB
-
- Marquee1DBin_1Out - Class in MDLUtilities
-
standard MDELite Marquee processing
- Marquee1DBin_1Out(Class, DB, String, String[]) - Constructor for class MDLUtilities.Marquee1DBin_1Out
-
standard usage:
Marquee1DBIn_1Out mark = new Marquee1DBIn_1Out(THIS.class, ".c.d", args);
String outputFileName = mark.getOutputFileName();
- Marquee1In_0Out - Class in MDLUtilities
-
general Marquee 1 argument programs
- Marquee1In_0Out(Class, String, String[]) - Constructor for class MDLUtilities.Marquee1In_0Out
-
general Marquee for all Conformance programs
standard usage:
Marquee1In_0Out mark = new Marquee1In_0Out(THIS.class, ".a.b", args);
String inputFileName = mark.getInputFileName();
String AppName = mark.getAppName();
- Marquee1In_1DirOut - Class in MDLUtilities
-
standard MDELite Marquee processing
- Marquee1In_1DirOut(Class, String, String, String[]) - Constructor for class MDLUtilities.Marquee1In_1DirOut
-
standard usage:
Marquee1In_1DirOut mark = new Marquee1In_1DirOut(cls, ".c.d", "JavaDir", args[])
String inputFileName = mark.getInputFileName();
String outputFileName = mark.outputDirectoryName();
String appName = mark.getAppName(outputFileName);
- Marquee1In_1DirOut() - Constructor for class MDLUtilities.Marquee1In_1DirOut
-
create a marquee -- I think to passify a whiney compiler
- Marquee1In_1Out - Class in MDLUtilities
-
standard MDELite Marquee processing
- Marquee1In_1Out(Class, String, String, String[]) - Constructor for class MDLUtilities.Marquee1In_1Out
-
standard usage:
Marquee1In_1Out mark = new Marquee1In_1Out(THIS.class, ".a.b", ".c.d", args);
String inputFileName = mark.getInputFileName();
String outputFileName = mark.getOutputFileName();
String appName = mark.getAppName();
- Marquee1In_1Out() - Constructor for class MDLUtilities.Marquee1In_1Out
-
create a marquee -- I think to passify a whiney compiler
- Marquee1In_manyOut1 - Class in MDLUtilities
-
standard MDELite Marquee processing
- Marquee1In_manyOut1(Class, String, String, String[]) - Constructor for class MDLUtilities.Marquee1In_manyOut1
-
standard usage:
Marquee1In_manyOut1 mark = new Marquee1In_manyOut1(THIS.class, ".a.b", "directory", args);
String inputFileName = mark.getInputFileName();
String appName = mark.getAppName(inputFileName);
- Marquee1In_manyOut1() - Constructor for class MDLUtilities.Marquee1In_manyOut1
-
create a marquee -- passify a whiney compiler
- Marquee2In_0Out - Class in MDLUtilities
-
general Marquee 1 argument programs
- Marquee2In_0Out(Class, String, String, String[]) - Constructor for class MDLUtilities.Marquee2In_0Out
-
general Marquee for all 2 input programs
standard usage:
Marquee2In_0Out mark = new Marquee2In_0Out(THIS.class, ".a.b", ".c.d", args);
String inputFileName = mark.getInputFileName();
String inputFileName1 = mark.getInputFileName1();
String AppName = mark.getAppName();
- Marquee3In_0Out - Class in MDLUtilities
-
general Marquee 1 argument programs
- Marquee3In_0Out(Class, String, String, String, String[]) - Constructor for class MDLUtilities.Marquee3In_0Out
-
general Marquee for all 3 input programs
standard usage:
Marquee3In_0Out mark = new Marquee3In_0Out(THIS.class, ".a.b", ".c.d", ".e.f", args);
String inputFileName = mark.getInputFileName();
String inputFileName1 = mark.getInputFileName1();
String inputFileName2 = mark.getInputFileName2();
String AppName = mark.getAppName();
- Marquee3In_1Out - Class in MDLUtilities
-
general Marquee 1 argument programs
- Marquee3In_1Out(Class, String, String, String, String, String[]) - Constructor for class MDLUtilities.Marquee3In_1Out
-
general Marquee standard usage:
Marquee3In_1Out mark = new Marquee3In_1Out(THIS.class, ".a.b", ".c.d", ".e.f", "o.p", args);
String inputFileName1 = mark.getInputFileName(1);
String inputFileName2 = mark.getInputFileName(2);
String inputFileName3 = mark.getInputFileName(3);
String AppName = mark.getAppName(inputFileName2,".c.d"));
- Marquee4Conform - Class in MDLUtilities
-
general Marquee for all Conformance programs
- Marquee4Conform(Class, String, String[]) - Constructor for class MDLUtilities.Marquee4Conform
-
general Marquee for all Conformance programs
standard usage:
Marquee4Conform mark = new Marquee4Conform(THIS.class, ".a.b", args);
String inputFileName = mark.getInputFileName();
String AppName = mark.getAppName(inputFileName);
- Marquee4Conform() - Constructor for class MDLUtilities.Marquee4Conform
-
to pacify whiney compiler
- MarqueeCommon - Class in MDLUtilities
-
general Marquee for all Conformance programs
- MarqueeCommon() - Constructor for class MDLUtilities.MarqueeCommon
-
pacify whiney compiler
- MarqueeCommon(Class, String, String[]) - Constructor for class MDLUtilities.MarqueeCommon
-
- MarqueeMulti1In_1Out - Class in MDLUtilities
-
standard MDELite Marquee processing
- MarqueeMulti1In_1Out(Class, String[], String, String[]) - Constructor for class MDLUtilities.MarqueeMulti1In_1Out
-
standard usage:
MarqueeMulti1In_1Out mark = new MarqueeMulti1In_1Out(THIS.class, inputPatterns[], outputPattern, args[]);
String inputFileName = mark.getInputFileName();
String outputFileName = mark.getOutputFileName();
String appName = mark.getAppName();
- MarqueeMulti1In_1Out() - Constructor for class MDLUtilities.MarqueeMulti1In_1Out
-
create a marquee -- I think to passify a whiney compiler
- match(String[], String[]) - Static method in class CorrectResultsAfterChainingErrorMsgs.UpdateCorrectFiles
-
- MDELiteHome() - Static method in class MDLUtilities.Utils
-
MDELite is distributed in a Jar, which is placed somewhere on a client's
disk.
- MDETool - Class in MDL
-
- MDETool() - Constructor for class MDL.MDETool
-
- MDL - package MDL
-
- MDLUtilities - package MDLUtilities
-
- meta2java - Class in Boot.MDELite
-
- meta2java() - Constructor for class Boot.MDELite.meta2java
-
- MetaConform - Class in Boot.MDELite
-
- MetaConform() - Constructor for class Boot.MDELite.MetaConform
-
- MetaIdentity - Class in Boot.MDELite
-
- MetaIdentity() - Constructor for class Boot.MDELite.MetaIdentity
-
- method - Variable in class Boot.MDELite.Common.Triple
-