public class UsageProtocol
extends java.lang.Object
Constructor and Description |
---|
UsageProtocol(java.lang.String signature,
cartago.manual.syntax.Literal function) |
Modifier and Type | Method and Description |
---|---|
cartago.manual.syntax.UsageProtBody |
getBody() |
cartago.manual.syntax.Literal |
getFunction() |
java.lang.Object |
getPrecondition() |
java.lang.String |
getSignature() |
void |
setBody(cartago.manual.syntax.UsageProtBody body) |
void |
setPrecondition(java.lang.Object pre) |
public UsageProtocol(java.lang.String signature, cartago.manual.syntax.Literal function)
public void setPrecondition(java.lang.Object pre)
public void setBody(cartago.manual.syntax.UsageProtBody body)
public java.lang.String getSignature()
public cartago.manual.syntax.Literal getFunction()
public cartago.manual.syntax.UsageProtBody getBody()
public java.lang.Object getPrecondition()
>DEIS - University of Bologna