org.oclparser.internal.core
Class OclParserDresden

java.lang.Object
  org.oclparser.internal.core.OclParserDresden

All Implemented Interfaces:

IOclParser

public class OclParserDresden

extends java.lang.Object

implements IOclParser

Implements the parser interface and uses the parser of the OCL Dresden Toolkit.

Constructor Summary

OclParserDresden()

Method Summary

IOclModel	getOclModel(org.eclipse.core.resources.IResource resource) Returns the OCL model for the given OCL file.
IOclModel	getOclModel(java.lang.String oclInput) Returns the OCL model for the given OCL input.
IOclParserError[]	syntaxCheck(org.eclipse.core.resources.IResource resource) Checks the OCL file if it is syntactically correct.
IOclParserError[]	typeCheck(org.eclipse.core.resources.IResource resource) Checks the OCL file if it is semantically correct; this means if it conforms to the Java modell.

Methods inherited from class java.lang.Object

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

Constructor Detail

OclParserDresden

public OclParserDresden()

Method Detail

syntaxCheck

public IOclParserError[] syntaxCheck(org.eclipse.core.resources.IResource resource)

Description copied from interface: IOclParser

Checks the OCL file if it is syntactically correct.

Specified by:

syntaxCheck in interface IOclParser

Parameters:

resource - OCL file resource.

Returns:

error list or null if no errors occured.

typeCheck

public IOclParserError[] typeCheck(org.eclipse.core.resources.IResource resource)

Description copied from interface: IOclParser

Checks the OCL file if it is semantically correct; this means if it conforms to the Java modell.

Specified by:

typeCheck in interface IOclParser

Parameters:

resource - OCL file resource.

Returns:

error list or null if no errors occured.

getOclModel

public IOclModel getOclModel(org.eclipse.core.resources.IResource resource)

Description copied from interface: IOclParser

Returns the OCL model for the given OCL file.

Specified by:

getOclModel in interface IOclParser

Parameters:

resource - OCL file resource.

Returns:

the OCL model or null in case of an error.

getOclModel

public IOclModel getOclModel(java.lang.String oclInput)

Description copied from interface: IOclParser

Returns the OCL model for the given OCL input.

Specified by:

getOclModel in interface IOclParser

Returns:

the OCL model or null in case of an error.