Uses of Class
org.eclipse.ocl.examples.pivot.model.OCLstdlib

Packages that use OCLstdlib

org.eclipse.ocl.examples.pivot.model

Uses of OCLstdlib in org.eclipse.ocl.examples.pivot.model

Methods in org.eclipse.ocl.examples.pivot.model that return OCLstdlib

static OCLstdlib	OCLstdlib.create(java.lang.String asURI, 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.