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 Y 

M

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
 
A B C D E F G H I J K L M N O P Q R S T U V W Y 
Skip navigation links