cb.petal
Class SemanticInfo

java.lang.Object
  |
  +--cb.petal.PetalObject
        |
        +--cb.petal.SemanticInfo
All Implemented Interfaces:
java.lang.Cloneable, PetalNode, java.io.Serializable

public class SemanticInfo
extends PetalObject

Pre or postcondition of method

Version:
$Id: SemanticInfo.java,v 1.3 2001/06/22 09:10:36 dahm Exp $
Author:
M. Dahm
See Also:
Serialized Form

Fields inherited from class cb.petal.PetalObject
EMPTY, params
 
Constructor Summary
SemanticInfo()
           
SemanticInfo(PetalNode parent, java.util.Collection params)
           
 
Method Summary
 void accept(Visitor v)
           
 java.lang.String getPDL()
           
 void setPDL(java.lang.String c)
           
 
Methods inherited from class cb.petal.PetalObject
addProperty, addToList, clone, defineProperty, defineProperty, defineProperty, defineProperty, defineProperty, equals, getChildCount, getKind, getLongestName, getName, getNames, getNoProperties, getParameterList, getParent, getProperties, getProperty, getProperty, getPropertyAsBoolean, getPropertyAsFloat, getPropertyAsInteger, getPropertyAsString, getPropertyList, getPropertyName, getPropertyTuples, getQualifiedName, getRoot, indexOf, init, moveProperty, removeFromList, removeProperty, removeProperty, setName, setParameterList, setParent, setProperty, toString
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SemanticInfo

public SemanticInfo(PetalNode parent,
                    java.util.Collection params)

SemanticInfo

public SemanticInfo()
Method Detail

getPDL

public java.lang.String getPDL()

setPDL

public void setPDL(java.lang.String c)

accept

public void accept(Visitor v)
Overrides:
accept in class PetalObject