public final class SLParameters
extends java.lang.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() |
java.lang.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)
public java.lang.String toString()
toString
in class java.lang.Object