cartago
Class UsageProtocol

java.lang.Object
  extended by cartago.UsageProtocol

public class UsageProtocol
extends java.lang.Object


Constructor Summary
UsageProtocol(java.lang.String signature, cartago.manual.syntax.Literal function)
           
 
Method Summary
 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)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

UsageProtocol

public UsageProtocol(java.lang.String signature,
                     cartago.manual.syntax.Literal function)
Method Detail

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