org.oclparser.internal.core.model
Class OclPostCondition

java.lang.Object
  org.oclparser.internal.core.model.OclElement
      org.oclparser.internal.core.model.OclPostCondition

All Implemented Interfaces:

IOclElement, IOclPostCondition

public class OclPostCondition

extends OclElement

implements IOclPostCondition

represents an OCL post condition.

Constructor Summary

OclPostCondition(java.lang.String name, int line, int column, IOclElement parent)

Methods inherited from class org.oclparser.internal.core.model.OclElement

accept, addChild, getChildren, getColumn, getEndColumn, getEndLine, getLength, getLine, getName, getParent, hasChildren, setColumn, setEndColumn, setEndLine, setLine, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.ocleditor.parser.model.IOclElement

accept, addChild, getChildren, getColumn, getEndColumn, getEndLine, getLength, getLine, getName, getParent, hasChildren, setColumn, setEndColumn, setEndLine, setLine

Constructor Detail

OclPostCondition

public OclPostCondition(java.lang.String name,
                        int line,
                        int column,
                        IOclElement parent)

Parameters:

name -

line -

column -

parent -