org.eclipse.ocl.examples.pivot.scoping

Class PivotScoping

java.lang.Object

org.eclipse.ocl.examples.pivot.scoping.PivotScoping

public class PivotScoping
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PivotScoping()

Method Summary

Methods

Modifier and Type	Method and Description
static void	init()

Methods inherited from class java.lang.Object

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

Constructor Detail

PivotScoping

public PivotScoping()

Method Detail

init

public static void init()