public final class SLParameters
extends java.lang.Object
Constructor and Description |
---|
SLParameters(ImmutableList<SLExpression> parameters) |
Modifier and Type | Method and Description |
---|---|
ImmutableList<SLExpression> |
getParameters() |
ImmutableList<KeYJavaType> |
getSignature(Services services)
returns the type signature of the parameter list
|
boolean |
isListOfTerm() |
java.lang.String |
toString() |
public SLParameters(ImmutableList<SLExpression> parameters)
public ImmutableList<SLExpression> getParameters()
public boolean isListOfTerm()
public ImmutableList<KeYJavaType> getSignature(Services services)
services
- the Servicespublic java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.