- main(String...) - Static method in class Boot.allegory.ClassConform
-
- main(String...) - Static method in class Boot.allegory.Gen
-
- Main - Class in Boot.allegory
-
- Main() - Constructor for class Boot.allegory.Main
-
- main(String...) - Static method in class Boot.allegory.Main
-
- main(String...) - Static method in class Boot.allegory.Vpl2Schema
-
- main(String...) - Static method in class Boot.allegory.VplSchema2Java
-
- 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 CorrectResultsAfterChainingErrorMsgs.UpdateCorrectFiles
-
- Main - Class in LectureExamples.allegory
-
- Main() - Constructor for class LectureExamples.allegory.Main
-
- main(String...) - Static method in class LectureExamples.allegory.Main
-
- 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 MDELite.Utils
-
- 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.InstanceOf
-
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.OO2schema
-
reads X.ooschema.pl and outputs X.schema.pl by flattening -- propagating
columns of supertables to subtables
- 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 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.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
- makeCycleTable() - Static method in class PrologDB.Constraints
-
- makeString(ParsE, int, Object...) - Static method in enum MDELite.ParsE
-
- makeString(String, Object...) - Static method in class MDELite.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 table to an object of type S
- marquee(String) - Static method in class Boot.MDELite.Common
-
- marquee() - Static method in class MDL.InstanceOf
-
standard marquee for an MDL program
- Marquee1Argument - Class in MDELite
-
general Marquee 1 argument programs
- Marquee1Argument(Class, String, String[]) - Constructor for class MDELite.Marquee1Argument
-
general Marquee for all Conformance programs
standard usage:
Marquee1Argument mark = new Marquee1Argument(THIS.class, ".a.b", args);
String inputFileName = mark.getInputFileName();
String AppName = mark.getAppName(inputFileName);
- Marquee2Arguments - Class in MDELite
-
standard MDELite Marquee processing
- Marquee2Arguments(Class, String, String, String[]) - Constructor for class MDELite.Marquee2Arguments
-
standard usage:
Marquee2Arguments mark = new Marquee2Arguments(THIS.class, ".a.b", ".c.d", args);
String inputFileName = mark.getInputFileName();
String outputFileName = mark.getOutputFileName();
String appName = mark.getAppName(outputFileName);
- Marquee2Arguments() - Constructor for class MDELite.Marquee2Arguments
-
create a marquee -- I think to passify a whiney compiler
- Marquee4Conform - Class in MDELite
-
general Marquee for all Conformance programs
- Marquee4Conform(Class, String, String[]) - Constructor for class MDELite.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 MDELite.Marquee4Conform
-
to pacify whiney compiler
- match(String[], String[]) - Static method in class CorrectResultsAfterChainingErrorMsgs.UpdateCorrectFiles
-
- MDELite - package MDELite
-
- MDELiteHome() - Static method in class MDELite.Utils
-
MDELite is distributed in a Jar, which is placed somewhere on a client's
disk.
- MDL - package MDL
-
- 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
-