Modifier and Type | Method and Description |
---|---|
static edu.ksu.cis.santos.mdcf.dml.ast.exp.AccessExp |
accessExp(edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp exp,
String id) |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.ApplyExp |
applyExp(edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp fun,
edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp arg) |
static Attribute |
attribute(Iterable<?> annotations,
Type type,
String name,
Optional<?> init) |
static BasicInit |
basicInit(String value) |
static BasicType |
basicType(String name,
Iterable<?> supers) |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.BinaryBasicOpExp |
binaryBasicOpExp(edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp left,
String op,
edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp right) |
static ConstAnnotation |
constAnnotation(FeatureLevel level,
String qualifier) |
static DataAnnotation |
dataAnnotation() |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.DefaultMatchCaseBind |
defaultMatchCaseBind() |
static EitherInit |
eitherInit(int index,
Initialization init) |
static EitherType |
eitherType(Iterable<?> choiceTypes) |
static Feature |
feature(Iterable<?> annotations,
String name,
Iterable<?> supers,
Iterable<?> members) |
static FeatureInit |
featureInit(Iterable<?> types,
Iterable<?> attributes) |
static FeatureLevelAnnotation |
featureLevelAnnotation(FeatureLevel level,
String qualifier) |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.FunExp |
funExp(edu.ksu.cis.santos.mdcf.dml.ast.exp.Param param,
edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp body) |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.InstanceOfExp |
instanceOfExp(edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp exp,
Type testType) |
static Invariant |
invariant(String name,
edu.ksu.cis.santos.mdcf.dml.ast.PredicateType predicateType,
edu.ksu.cis.santos.mdcf.dml.ast.exp.FunExp predicate) |
static <T> List<T> |
list(Iterable<T> ts) |
static <T> List<T> |
list(T... ts) |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.LiteralExp |
literalExp(String value) |
static edu.ksu.cis.santos.mdcf.dml.ast.MapInit |
mapInit(Iterable<?> keyInits,
Iterable<?> valueInits) |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.MapOpExp |
mapOpExp(String id,
edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp exp) |
static edu.ksu.cis.santos.mdcf.dml.ast.MapType |
mapType(Type keyType,
Type valueType) |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.MatchCase |
matchCase(edu.ksu.cis.santos.mdcf.dml.ast.exp.MatchCaseBind bind,
Optional<edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp> cond,
edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp body) |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.MatchExp |
matchExp(edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp exp,
List<?> cases) |
static Model |
model(Iterable<?> declarations) |
static MultiplicityAnnotation |
multiplicityAnnotation(int lo,
int hi,
Optional<String> typeName) |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.NamedMatchCaseBind |
namedMatchCaseBind(String id,
Optional<?> type) |
static NamedType |
namedType(String name) |
static <T> Optional<T> |
none() |
static NoneInit |
noneInit() |
static OptionType |
optionType(Type elementType) |
static OverrideAnnotation |
overrideAnnotation() |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.Param |
param(Optional<?> type,
String name) |
static RefinedType |
refinedType(Iterable<?> types,
Iterable<?> attributes) |
static Requirement |
requirement(String name,
Iterable<?> members) |
static SeqInit |
seqInit(Iterable<?> inits) |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.SeqOpExp |
seqOpExp(String id,
edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp exp) |
static SeqType |
seqType(Type elementType) |
static SetInit |
setInit(Iterable<?> inits) |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.SetOpExp |
setOpExp(String id,
edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp exp) |
static SettableAnnotation |
settableAnnotation() |
static SetType |
setType(Type elementType) |
static <T> Optional<T> |
some(T t) |
static SomeInit |
someInit(Initialization init) |
static TupleInit |
tupleInit(Iterable<?> inits) |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.TupleOpExp |
tupleOpExp(String id,
edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp exp) |
static TupleType |
tupleType(Iterable<?> elementTypes) |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.UnknownExp |
unknownExp() |
edu.ksu.cis.santos.mdcf.dml.ast.exp.VarRefExp |
varRefExp(String id) |
public static edu.ksu.cis.santos.mdcf.dml.ast.exp.AccessExp accessExp(edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp exp, String id)
public static edu.ksu.cis.santos.mdcf.dml.ast.exp.ApplyExp applyExp(edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp fun, edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp arg)
public static Attribute attribute(Iterable<?> annotations, Type type, String name, Optional<?> init)
public static edu.ksu.cis.santos.mdcf.dml.ast.exp.BinaryBasicOpExp binaryBasicOpExp(edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp left, String op, edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp right)
public static ConstAnnotation constAnnotation(FeatureLevel level, String qualifier)
public static DataAnnotation dataAnnotation()
public static edu.ksu.cis.santos.mdcf.dml.ast.exp.DefaultMatchCaseBind defaultMatchCaseBind()
public static EitherInit eitherInit(int index, Initialization init)
public static EitherType eitherType(Iterable<?> choiceTypes)
public static Feature feature(Iterable<?> annotations, String name, Iterable<?> supers, Iterable<?> members)
public static FeatureInit featureInit(Iterable<?> types, Iterable<?> attributes)
public static FeatureLevelAnnotation featureLevelAnnotation(FeatureLevel level, String qualifier)
public static edu.ksu.cis.santos.mdcf.dml.ast.exp.FunExp funExp(edu.ksu.cis.santos.mdcf.dml.ast.exp.Param param, edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp body)
public static edu.ksu.cis.santos.mdcf.dml.ast.exp.InstanceOfExp instanceOfExp(edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp exp, Type testType)
public static Invariant invariant(String name, edu.ksu.cis.santos.mdcf.dml.ast.PredicateType predicateType, edu.ksu.cis.santos.mdcf.dml.ast.exp.FunExp predicate)
@SafeVarargs public static <T> List<T> list(T... ts)
public static edu.ksu.cis.santos.mdcf.dml.ast.exp.LiteralExp literalExp(String value)
public static edu.ksu.cis.santos.mdcf.dml.ast.MapInit mapInit(Iterable<?> keyInits, Iterable<?> valueInits)
public static edu.ksu.cis.santos.mdcf.dml.ast.exp.MapOpExp mapOpExp(String id, edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp exp)
public static edu.ksu.cis.santos.mdcf.dml.ast.exp.MatchCase matchCase(edu.ksu.cis.santos.mdcf.dml.ast.exp.MatchCaseBind bind, Optional<edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp> cond, edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp body)
public static edu.ksu.cis.santos.mdcf.dml.ast.exp.MatchExp matchExp(edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp exp, List<?> cases)
public static MultiplicityAnnotation multiplicityAnnotation(int lo, int hi, Optional<String> typeName)
public static edu.ksu.cis.santos.mdcf.dml.ast.exp.NamedMatchCaseBind namedMatchCaseBind(String id, Optional<?> type)
public static <T> Optional<T> none()
public static NoneInit noneInit()
public static OptionType optionType(Type elementType)
public static OverrideAnnotation overrideAnnotation()
public static RefinedType refinedType(Iterable<?> types, Iterable<?> attributes)
public static Requirement requirement(String name, Iterable<?> members)
public static edu.ksu.cis.santos.mdcf.dml.ast.exp.SeqOpExp seqOpExp(String id, edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp exp)
public static edu.ksu.cis.santos.mdcf.dml.ast.exp.SetOpExp setOpExp(String id, edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp exp)
public static SettableAnnotation settableAnnotation()
public static <T> Optional<T> some(T t)
public static SomeInit someInit(Initialization init)
public static edu.ksu.cis.santos.mdcf.dml.ast.exp.TupleOpExp tupleOpExp(String id, edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp exp)
public static edu.ksu.cis.santos.mdcf.dml.ast.exp.UnknownExp unknownExp()
public edu.ksu.cis.santos.mdcf.dml.ast.exp.VarRefExp varRefExp(String id)