public final class SLParameters extends Object
Modifier and Type | Field and Description |
---|---|
private ImmutableList<SLExpression> |
parameters |
Constructor and Description |
---|
SLParameters(ImmutableList<SLExpression> parameters) |
Modifier and Type | Method and Description |
---|---|
ImmutableList<SLExpression> |
getParameters() |
ImmutableList<KeYJavaType> |
getSignature(TermServices services) |
boolean |
isListOfTerm() |
String |
toString() |
private final ImmutableList<SLExpression> parameters
public SLParameters(ImmutableList<SLExpression> parameters)
public ImmutableList<SLExpression> getParameters()
public boolean isListOfTerm()
public ImmutableList<KeYJavaType> getSignature(TermServices services)