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.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PrettyPrintOptions.Global
public PrettyPrintOptions.Global(@Nullable
Namespace scope)
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
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()
getMetaModelManager
@Nullable
public MetaModelManager getMetaModelManager()
- Overrides:
getMetaModelManager
in class PrettyPrintOptions
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)
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
setMetaModelManager
public void setMetaModelManager(MetaModelManager metaModelManager)