cartago
Class UsageProtocol
java.lang.Object
cartago.UsageProtocol
public class UsageProtocol
- extends java.lang.Object
Constructor Summary |
UsageProtocol(java.lang.String signature,
cartago.manual.syntax.Literal function)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
UsageProtocol
public UsageProtocol(java.lang.String signature,
cartago.manual.syntax.Literal function)
setPrecondition
public void setPrecondition(java.lang.Object pre)
setBody
public void setBody(cartago.manual.syntax.UsageProtBody body)
getSignature
public java.lang.String getSignature()
getFunction
public cartago.manual.syntax.Literal getFunction()
getBody
public cartago.manual.syntax.UsageProtBody getBody()
getPrecondition
public java.lang.Object getPrecondition()
>DEIS - University of Bologna