Package | Description |
---|---|
eu.bandm.tools.umod |
Compiler for data models, from a concise mathematical oriented language into
Java.
|
Modifier and Type | Class and Description |
---|---|
static class |
UMod.T_copair |
static class |
UMod.T_map |
static class |
UMod.T_pair |
static class |
UMod.T_rel |
Modifier and Type | Method and Description |
---|---|
protected void |
UMod.Visitor.action(UMod.T_2 i) |
static MetaType |
Types.declaredMapEntryType(UMod.T_2 t) |
protected void |
UMod2Tsoap.WriterGenerator.dump_co_pair(UMod.T_2 t,
boolean ispair) |
protected void |
UMod2Tsoap.WriterGenerator.dumpmapoid(UMod.T_2 t,
Format entryset) |
protected void |
UMod2Tsoap.ParserGenerator.makeMapMultimap(UMod.T_2 t,
boolean isMultimap) |
protected void |
UMod2visitors.V_makeDescend.mapOrMultimap(UMod.T_2 t,
Format modelAsEntrySet) |
protected void |
UMod2visitors.V_makeDescend.pairOrCoPair(UMod.T_2 t,
boolean is_co) |
protected boolean |
Types.JavaMapper.resolveboth(UMod.T_2 t) |
protected void |
UMod2visitors.V_makeRewriterCoRewriter.visitMap_or_Multimap(UMod.T_2 t,
boolean ismultimap)
Diagram of semantics:
M = original, L/R = maps representing rewriting, M' = result |
see also the complete user documentation .