org.eclipse.ocl.pivot.oclstdlib

Class OCLstdlibTables.FragmentProperties

java.lang.Object

org.eclipse.ocl.pivot.oclstdlib.OCLstdlibTables.FragmentProperties

Enclosing class:

OCLstdlibTables

public static class OCLstdlibTables.FragmentProperties
extends java.lang.Object

The lists of local properties for the local fragment of each type.

Constructor Summary

Constructors

Constructor and Description
FragmentProperties()

Method Summary

Modifier and Type	Method and Description
static void	init() Force initialization of the fields of OCLstdlibTables::FragmentProperties and all preceding sub-packages.

Methods inherited from class java.lang.Object

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

Constructor Detail

FragmentProperties

public FragmentProperties()

Method Detail

init

public static void init()

Force initialization of the fields of OCLstdlibTables::FragmentProperties and all preceding sub-packages.