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

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

Direct Known Subclasses:

PrettyPrintOptions.Global, PrettyPrintOptions.Local

public abstract class PrettyPrintOptions
extends java.lang.Object

PrettyPrintOptions defines the capability to provide options to the PrettyPrinter

Nested Class Summary

static class	PrettyPrintOptions.Global Global PrettyPrintOptions apply regardless of pretty printer nesting.
static class	PrettyPrintOptions.Local Local PrettyPrintOptions may be overridden in nested pretty printer contexts.

Field Summary

protected Namespace

scope

Constructor Summary

PrettyPrintOptions(Namespace scope)

Method Summary

abstract void	addReservedNames(java.lang.Iterable<java.lang.String> names)
abstract 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.
org.eclipse.emf.common.util.URI	getBaseURI() Return a URI against which to deresolve the first element of qualified names that reference external resources.
abstract PrettyPrintOptions.Global	getGlobalOptions()
java.lang.String	getIndentStep()
int	getLinelength()
MetaModelManager	getMetaModelManager()
abstract java.util.Set<java.lang.String>	getReservedNames()
abstract java.util.Set<java.lang.String>	getRestrictedNames()
Namespace	getScope()
void	setIndentStep(java.lang.String indentStep)
void	setLinelength(int linelength)
void	setUseParentheses(boolean useParentheses) Deprecated.

Methods inherited from class java.lang.Object

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

Field Detail

scope

protected final Namespace scope

Constructor Detail

PrettyPrintOptions

public PrettyPrintOptions(Namespace scope)

Method Detail

addReservedNames

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

addRestrictedNames

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

getAlias

public java.lang.String getAlias(Namespace namespace)

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

getBaseURI

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

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

getGlobalOptions

public abstract PrettyPrintOptions.Global getGlobalOptions()

getIndentStep

public java.lang.String getIndentStep()

getLinelength

public int getLinelength()

getMetaModelManager

public MetaModelManager getMetaModelManager()

getReservedNames

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

getRestrictedNames

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

getScope

public Namespace getScope()

setIndentStep

public void setIndentStep(java.lang.String indentStep)

setLinelength

public void setLinelength(int linelength)

setUseParentheses

@Deprecated
public void setUseParentheses(boolean useParentheses)

Deprecated.