org.eclipse.ocl.pivot.internal.prettyprint

Class PrettyPrintOptions.Local

java.lang.Object

org.eclipse.ocl.pivot.internal.prettyprint.PrettyPrintOptions

org.eclipse.ocl.pivot.internal.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.pivot.internal.prettyprint.PrettyPrintOptions

PrettyPrintOptions.Global, PrettyPrintOptions.Local

Field Summary

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

scope

Constructor Summary

Constructors

Constructor and Description
Local(PrettyPrintOptions options, Namespace scope)

Method Summary

Modifier and Type	Method and Description
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()
boolean	isShowDefaultMultiplicities()
void	setShowDefaultMultiplicities(boolean showDefaultMultiplicities)

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

getAlias, getBaseURI, getEnvironmentFactory, getIndentStep, getLinelength, getScope, setIndentStep, setLinelength

Methods inherited from class java.lang.Object

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

Constructor Detail

Local

public 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

isShowDefaultMultiplicities

public boolean isShowDefaultMultiplicities()

Overrides:

isShowDefaultMultiplicities in class PrettyPrintOptions

setShowDefaultMultiplicities

public void setShowDefaultMultiplicities(boolean showDefaultMultiplicities)

Overrides:

setShowDefaultMultiplicities in class PrettyPrintOptions