org.oclparser.internal.core.model
Class OclFile

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

All Implemented Interfaces:

IOclElement, IOclModel

public class OclFile

extends OclElement

implements IOclModel

represents an OCL model - in this implementation a file.

Constructor Summary

OclFile(java.lang.String name)

Method Summary

void	appendContext(java.lang.String name, int line, int column)
void	appendEndPackage(int endline, int endcolumn)
void	appendInvariant(java.lang.String name, int line, int column)
void	appendPackage(java.lang.String name, int line, int column)
void	appendPostCondition(java.lang.String name, int line, int column)
void	appendPreCondition(java.lang.String name, int line, int column)
IOclPackage	getPackage(java.lang.String packageName) Returns the OCL package element for a given package name.

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

OclFile

public OclFile(java.lang.String name)

Parameters:

name -

Method Detail

getPackage

public IOclPackage getPackage(java.lang.String packageName)

Description copied from interface: IOclModel

Returns the OCL package element for a given package name.

Specified by:

getPackage in interface IOclModel

Parameters:

packageName -

Returns:

the OCL package element or null if none exists.

appendPackage

public void appendPackage(java.lang.String name,
                          int line,
                          int column)

Parameters:

name -

line -

column -

appendEndPackage

public void appendEndPackage(int endline,
                             int endcolumn)

Parameters:

endline -

endcolumn -

appendContext

public void appendContext(java.lang.String name,
                          int line,
                          int column)

Parameters:

name -

line -

column -

appendInvariant

public void appendInvariant(java.lang.String name,
                            int line,
                            int column)

Parameters:

name -

line -

column -

appendPreCondition

public void appendPreCondition(java.lang.String name,
                               int line,
                               int column)

Parameters:

name -

line -

column -

appendPostCondition

public void appendPostCondition(java.lang.String name,
                                int line,
                                int column)

Parameters:

name -

line -

column -