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

Constructor Summary

Constructors

Constructor and Description
Local(PrettyPrintOptions options, Namespace scope)

Method Summary

Modifier and Type	Method and Description
void	addReservedNames(Iterable<String> names)
void	addRestrictedNames(Iterable<String> names)
PrettyPrintOptions.Global	getGlobalOptions()
Set<String>	getReservedNames()
Set<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

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

Constructor Detail

Local

public Local(PrettyPrintOptions options,
             Namespace scope)

Method Detail

addReservedNames

public void addReservedNames(Iterable<String> names)

Specified by:

addReservedNames in class PrettyPrintOptions

addRestrictedNames

public void addRestrictedNames(Iterable<String> names)

Specified by:

addRestrictedNames in class PrettyPrintOptions

getGlobalOptions

public PrettyPrintOptions.Global getGlobalOptions()

Specified by:

getGlobalOptions in class PrettyPrintOptions

getReservedNames

public Set<String> getReservedNames()

Specified by:

getReservedNames in class PrettyPrintOptions

getRestrictedNames

public Set<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