Modifier and Type | Field and Description |
---|---|
static SExpr.Type |
BOOL
to indicate that an expression holds a value of type Bool
|
java.lang.String |
injection |
java.lang.String |
name |
static SExpr.Type |
NONE
to indicate that this expression has other or unknown type
|
java.lang.String |
projection |
static SExpr.Type |
UNIVERSE
to indicate that this expression holds a value of type U
|
static SExpr.Type |
VERBATIM
to indicate that this element needs no escaping despite its name
|
Constructor and Description |
---|
Type(java.lang.String name,
java.lang.String injection,
java.lang.String projection) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
public static final SExpr.Type UNIVERSE
public static final SExpr.Type NONE
public static final SExpr.Type VERBATIM
public static final SExpr.Type BOOL
public final java.lang.String name
public final java.lang.String injection
public final java.lang.String projection
Copyright © 2003-2019 The KeY-Project.