Package | Description |
---|---|
edu.ksu.cis.santos.mdcf.dml.ast |
DML Abstract Syntax Tree (AST) API
|
Modifier and Type | Class and Description |
---|---|
class |
EitherType |
class |
NamedType |
class |
OptionType |
class |
RefinedType |
class |
SeqType |
class |
SetType |
class |
TupleType |
Modifier and Type | Field and Description |
---|---|
Type |
OptionType.elementType |
Type |
SeqType.elementType |
Type |
SetType.elementType |
Type |
Attribute.type |
Modifier and Type | Field and Description |
---|---|
List<Type> |
EitherType.choiceTypes |
List<Type> |
TupleType.elementTypes |
Modifier and Type | Method and Description |
---|---|
static Attribute |
Ast.Weak.attribute(Iterable<?> annotations,
Type type,
String name,
Optional<?> init) |
static Attribute |
Ast.attribute(Iterable<AttributeAnnotation> annotations,
Type type,
String name,
Optional<Initialization> init) |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.InstanceOfExp |
Ast.instanceOfExp(edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp exp,
Type testType) |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.InstanceOfExp |
Ast.Weak.instanceOfExp(edu.ksu.cis.santos.mdcf.dml.ast.exp.Exp exp,
Type testType) |
static edu.ksu.cis.santos.mdcf.dml.ast.MapType |
Ast.mapType(Type keyType,
Type valueType) |
static edu.ksu.cis.santos.mdcf.dml.ast.MapType |
Ast.Weak.mapType(Type keyType,
Type valueType) |
static OptionType |
Ast.optionType(Type elementType) |
static OptionType |
Ast.Weak.optionType(Type elementType) |
static SeqType |
Ast.seqType(Type elementType) |
static SeqType |
Ast.Weak.seqType(Type elementType) |
static SetType |
Ast.setType(Type elementType) |
static SetType |
Ast.Weak.setType(Type elementType) |
boolean |
AbstractVisitor.visitType(Type node) |
boolean |
IVisitor.visitType(Type node) |
Modifier and Type | Method and Description |
---|---|
static EitherType |
Ast.eitherType(Iterable<Type> choiceTypes) |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.NamedMatchCaseBind |
Ast.namedMatchCaseBind(String id,
Optional<Type> type) |
static edu.ksu.cis.santos.mdcf.dml.ast.exp.Param |
Ast.param(Optional<Type> type,
String name) |
static TupleType |
Ast.tupleType(Iterable<Type> elementTypes) |
Constructor and Description |
---|
Attribute(Iterable<AttributeAnnotation> annotations,
Type type,
String name,
Optional<Initialization> init) |
OptionType(Type elementType) |
SeqType(Type elementType) |
SetType(Type elementType) |
Constructor and Description |
---|
EitherType(Iterable<Type> choiceTypes) |
TupleType(Iterable<Type> elementTypes) |