org.eclipse.ocl.examples.pivot.prettyprint
Class PrettyPrintOptions.Local
java.lang.Object
org.eclipse.ocl.examples.pivot.prettyprint.PrettyPrintOptions
org.eclipse.ocl.examples.pivot.prettyprint.PrettyPrintOptions.Local
- Enclosing class:
- PrettyPrintOptions
public static class PrettyPrintOptions.Local
- extends PrettyPrintOptions
Local PrettyPrintOptions may be overridden in nested pretty printer contexts.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PrettyPrintOptions.Local
public PrettyPrintOptions.Local(PrettyPrintOptions options,
Namespace scope)
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
getGlobalOptions
public PrettyPrintOptions.Global getGlobalOptions()
- Specified by:
getGlobalOptions
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