Package | Description |
---|---|
org.eclipse.ocl.examples.pivot.model |
Modifier and Type | Method and Description |
---|---|
static OCLstdlib |
OCLstdlib.create(java.lang.String uri,
java.lang.String name,
java.lang.String nsPrefix,
java.lang.String nsURI)
Construct a copy of the OCL Standard Library with specified resource URI,
and package name, prefix and namespace URI.
|
static OCLstdlib |
OCLstdlib.getDefault()
Return the default OCL standard Library.
|