org.eclipse.ocl.examples.pivot.prettyprint
Class PrettyPrintOptions.Local

java.lang.Object
  org.eclipse.ocl.examples.pivot.prettyprint.PrettyPrintOptions
      org.eclipse.ocl.examples.pivot.prettyprint.PrettyPrintOptions.Local

Enclosing class:

PrettyPrintOptions

public static class PrettyPrintOptions.Local
extends PrettyPrintOptions

Local PrettyPrintOptions may be overridden in nested pretty printer contexts.

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.examples.pivot.prettyprint.PrettyPrintOptions

PrettyPrintOptions.Global, PrettyPrintOptions.Local

Field Summary

Fields inherited from class org.eclipse.ocl.examples.pivot.prettyprint.PrettyPrintOptions

scope

Constructor Summary

PrettyPrintOptions.Local(PrettyPrintOptions options, Namespace scope)

Method Summary

void	addReservedNames(java.lang.Iterable<java.lang.String> names)
void	addRestrictedNames(java.lang.Iterable<java.lang.String> names)
PrettyPrintOptions.Global	getGlobalOptions()
java.util.Set<java.lang.String>	getReservedNames()
java.util.Set<java.lang.String>	getRestrictedNames()

Methods inherited from class org.eclipse.ocl.examples.pivot.prettyprint.PrettyPrintOptions

getAlias, getBaseURI, getIndentStep, getLinelength, getMetaModelManager, getScope, setIndentStep, setLinelength, setUseParentheses

Methods inherited from class java.lang.Object

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

Constructor Detail

PrettyPrintOptions.Local

public PrettyPrintOptions.Local(@NonNull
                                PrettyPrintOptions options,
                                @Nullable
                                Namespace scope)

Method Detail

addReservedNames

public void addReservedNames(@NonNull
                             java.lang.Iterable<java.lang.String> names)

Specified by:

addReservedNames in class PrettyPrintOptions

addRestrictedNames

public void addRestrictedNames(@NonNull
                               java.lang.Iterable<java.lang.String> names)

Specified by:

addRestrictedNames in class PrettyPrintOptions

getGlobalOptions

@NonNull
public PrettyPrintOptions.Global getGlobalOptions()

Specified by:

getGlobalOptions in class PrettyPrintOptions

getReservedNames

public java.util.Set<java.lang.String> getReservedNames()

Specified by:

getReservedNames in class PrettyPrintOptions

getRestrictedNames

public java.util.Set<java.lang.String> getRestrictedNames()

Specified by:

getRestrictedNames in class PrettyPrintOptions