public static class PrettyPrintOptions.Local extends PrettyPrintOptions
PrettyPrintOptions.Global, PrettyPrintOptions.Local
scope
Constructor and Description |
---|
PrettyPrintOptions.Local(PrettyPrintOptions options,
Namespace scope) |
Modifier and Type | Method and Description |
---|---|
void |
addReservedNames(java.lang.Iterable<java.lang.String> names) |
void |
addRestrictedNames(java.lang.Iterable<java.lang.String> names) |
PrettyPrintOptions.Global |
getGlobalOptions() |
java.util.Set<java.lang.String> |
getReservedNames() |
java.util.Set<java.lang.String> |
getRestrictedNames() |
getAlias, getBaseURI, getIndentStep, getLinelength, getMetaModelManager, getScope, setIndentStep, setLinelength, setUseParentheses
public PrettyPrintOptions.Local(@NonNull PrettyPrintOptions options, @Nullable Namespace scope)
public void addReservedNames(@NonNull java.lang.Iterable<java.lang.String> names)
addReservedNames
in class PrettyPrintOptions
public void addRestrictedNames(@NonNull java.lang.Iterable<java.lang.String> names)
addRestrictedNames
in class PrettyPrintOptions
@NonNull public PrettyPrintOptions.Global getGlobalOptions()
getGlobalOptions
in class PrettyPrintOptions
public java.util.Set<java.lang.String> getReservedNames()
getReservedNames
in class PrettyPrintOptions
public java.util.Set<java.lang.String> getRestrictedNames()
getRestrictedNames
in class PrettyPrintOptions