Skip navigation links
A B C D E F G H I J K L M N O P Q R S T U V W X Y 

M

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.DBEquals
 
main(String...) - Static method in class MDL.DBinDB
 
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.PrettyPrintTable
reads table X.S.pl or X.S.csv and reports errors, if any; Schema constraints not applied/evaluated.
main(String...) - Static method in class MDL.ProjectDBbySubSchema
input db.schema1.pl schema2.schema.pl if schema2 is a subschema of schema1, project db to the contents of schema2.
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();
Marquee2In_1Out - Class in MDLUtilities
general Marquee 2 argument programs
Marquee2In_1Out(Class, String, String, String, String[]) - Constructor for class MDLUtilities.Marquee2In_1Out
general Marquee for all 2 input programs standard usage: Marquee2In_1Out mark = new Marquee2In_1Out(THIS.class, ".a.b", ".c.d", ".e.f", args); String inputFileName = mark.getInputFileName(); String inputFileName1 = mark.getInputFileName1(); String outputFileName = mark.getInputFileName2(); 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
Marquee4In_0Out - Class in MDLUtilities
general Marquee 1 argument programs
Marquee4In_0Out(Class, String, String, String, String, String[]) - Constructor for class MDLUtilities.Marquee4In_0Out
general Marquee for all 3 input programs standard usage: Marquee3In_0Out mark = new Marquee3In_0Out(THIS.class, ".a.b", ".c.d", ".e.f", ".h.i" args); String inputFileName = mark.getInputFileName(); String inputFileName1 = mark.getInputFileName1(); String inputFileName2 = mark.getInputFileName2(); String inputFileName3 = mark.getInputFileName3(); String AppName = mark.getAppName();
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
 
A B C D E F G H I J K L M N O P Q R S T U V W X Y 
Skip navigation links