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

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

Enclosing class:

PrettyPrintOptions

public static class PrettyPrintOptions.Global
extends PrettyPrintOptions

Global PrettyPrintOptions apply regardless of pretty printer nesting.

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.Global(Namespace scope)

Method Summary

void	addAliases(Namespace namespace, java.lang.String alias)
void	addReservedNames(java.lang.Iterable<java.lang.String> names)
void	addRestrictedNames(java.lang.Iterable<java.lang.String> names)
java.lang.String	getAlias(Namespace namespace) Return a name to be used when referencing element as the first element in a qualified name.
java.util.Set<Namespace>	getAliasedNamespaces()
org.eclipse.emf.common.util.URI	getBaseURI() Return a URI against which to deresolve the first element of qualified names that reference external resources.
PrettyPrintOptions.Global	getGlobalOptions()
java.lang.String	getIndentStep()
int	getLinelength()
MetaModelManager	getMetaModelManager()
java.util.Set<java.lang.String>	getReservedNames()
java.util.Set<java.lang.String>	getRestrictedNames()
void	setAliases(java.util.Map<Namespace,java.lang.String> namespace2alias)
void	setBaseURI(org.eclipse.emf.common.util.URI baseURI)
void	setIndentStep(java.lang.String indentStep)
void	setLinelength(int linelength)
void	setMetaModelManager(MetaModelManager metaModelManager)

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

getScope, setUseParentheses

Methods inherited from class java.lang.Object

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

Constructor Detail

PrettyPrintOptions.Global

public PrettyPrintOptions.Global(Namespace scope)

Method Detail

addAliases

public void addAliases(Namespace namespace,
                       java.lang.String alias)

addReservedNames

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

Specified by:

addReservedNames in class PrettyPrintOptions

addRestrictedNames

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

Specified by:

addRestrictedNames in class PrettyPrintOptions

getAlias

public java.lang.String getAlias(Namespace namespace)

Description copied from class: PrettyPrintOptions

Return a name to be used when referencing element as the first element in a qualified name.

Overrides:

getAlias in class PrettyPrintOptions

getBaseURI

public org.eclipse.emf.common.util.URI getBaseURI()

Description copied from class: PrettyPrintOptions

Return a URI against which to deresolve the first element of qualified names that reference external resources. Null leaves URIs in global form.

Overrides:

getBaseURI in class PrettyPrintOptions

getGlobalOptions

public PrettyPrintOptions.Global getGlobalOptions()

Specified by:

getGlobalOptions in class PrettyPrintOptions

getIndentStep

public java.lang.String getIndentStep()

Overrides:

getIndentStep in class PrettyPrintOptions

getLinelength

public int getLinelength()

Overrides:

getLinelength in class PrettyPrintOptions

getAliasedNamespaces

public java.util.Set<Namespace> getAliasedNamespaces()

getMetaModelManager

public MetaModelManager getMetaModelManager()

Overrides:

getMetaModelManager 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

setAliases

public void setAliases(java.util.Map<Namespace,java.lang.String> namespace2alias)

setBaseURI

public void setBaseURI(org.eclipse.emf.common.util.URI baseURI)

setIndentStep

public void setIndentStep(java.lang.String indentStep)

Overrides:

setIndentStep in class PrettyPrintOptions

setLinelength

public void setLinelength(int linelength)

Overrides:

setLinelength in class PrettyPrintOptions

setMetaModelManager

public void setMetaModelManager(MetaModelManager metaModelManager)