org.eclipse.ocl.pivot.internal.prettyprint

Class PrettyPrintOptions.Global

java.lang.Object

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

org.eclipse.ocl.pivot.internal.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.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
PrettyPrintOptions.Global(Namespace scope)

Method Summary

Methods

Modifier and Type	Method and Description
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.
EnvironmentFactory	getEnvironmentFactory()
PrettyPrintOptions.Global	getGlobalOptions()
java.lang.String	getIndentStep()
int	getLinelength()
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	setEnvironmentFactory(EnvironmentFactory environmentFactory)
void	setIndentStep(java.lang.String indentStep)
void	setLinelength(int linelength)

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

getScope

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(@Nullable
                         Namespace scope)

Method Detail

addAliases

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

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

getAlias

@Nullable
public java.lang.String getAlias(@NonNull
                                 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

@Nullable
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

getEnvironmentFactory

@Nullable
public EnvironmentFactory getEnvironmentFactory()

Overrides:

getEnvironmentFactory in class PrettyPrintOptions

getGlobalOptions

@NonNull
public PrettyPrintOptions.Global getGlobalOptions()

Specified by:

getGlobalOptions in class PrettyPrintOptions

getIndentStep

@NonNull
public java.lang.String getIndentStep()

Overrides:

getIndentStep in class PrettyPrintOptions

getLinelength

public int getLinelength()

Overrides:

getLinelength in class PrettyPrintOptions

getAliasedNamespaces

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

getReservedNames

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

Specified by:

getReservedNames in class PrettyPrintOptions

getRestrictedNames

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

Specified by:

getRestrictedNames in class PrettyPrintOptions

setAliases

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

setBaseURI

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

setEnvironmentFactory

public void setEnvironmentFactory(EnvironmentFactory environmentFactory)

setIndentStep

public void setIndentStep(@NonNull
                 java.lang.String indentStep)

Overrides:

setIndentStep in class PrettyPrintOptions

setLinelength

public void setLinelength(int linelength)

Overrides:

setLinelength in class PrettyPrintOptions