public final class SLExpression
extends java.lang.Object
Constructor and Description |
---|
SLExpression(KeYJavaType type) |
SLExpression(Term term)
USE WITH CARE! Term-SLExpressions should have a type!
|
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() |
public SLExpression(@Nonnull Term term, @Nonnull KeYJavaType type, boolean isTerm)
public SLExpression(@Nonnull Term term, @Nonnull KeYJavaType type)
public SLExpression(@Nonnull Term term)
public SLExpression(@Nonnull 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
Copyright © 2003-2019 The KeY-Project.