public final class SLExpression
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private boolean |
isTerm |
private Term |
term |
private KeYJavaType |
type |
Constructor and Description |
---|
SLExpression(KeYJavaType type) |
SLExpression(Term term)
USE WITH CARE!
|
SLExpression(Term term,
KeYJavaType type) |
SLExpression(Term term,
KeYJavaType type,
boolean isTerm) |
Modifier and Type | Method and Description |
---|---|
Term |
getTerm() |
KeYJavaType |
getType() |
boolean |
isTerm() |
boolean |
isType() |
java.lang.String |
toString() |
private final Term term
private final KeYJavaType type
private final boolean isTerm
public SLExpression(Term term, KeYJavaType type, boolean isTerm)
public SLExpression(Term term, KeYJavaType type)
public SLExpression(Term term)
public SLExpression(KeYJavaType type)
public boolean isTerm()
public boolean isType()
public Term getTerm()
public KeYJavaType getType()
public java.lang.String toString()
toString
in class java.lang.Object