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

Packages that use OCLstdlib

Package	Description
org.eclipse.ocl.pivot.model

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

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

Modifier and Type	Method and Description
static OCLstdlib	OCLstdlib.create(java.lang.String asURI) 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 http://www.eclipse.org/ocl/2015/Library standard Library Resource.