public class PrettyPrinter
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected org.eclipse.ocl.pivot.internal.prettyprint.PrettyPrinter.Fragment |
fragment |
static java.lang.String |
NULL_PLACEHOLDER |
static java.util.List<java.lang.String> |
reservedNameList |
static java.util.List<java.lang.String> |
restrictedNameList |
Modifier and Type | Method and Description |
---|---|
void |
append(java.lang.Number number) |
void |
append(java.lang.String string) |
void |
appendElement(Element element) |
void |
appendMultiplicity(java.lang.Number lower,
java.lang.Number upper,
boolean isNullFree) |
void |
appendName(NamedElement object) |
void |
appendName(NamedElement object,
java.util.Set<java.lang.String> keywords) |
void |
appendParameters(Operation operation,
boolean withNames) |
void |
appendParent(org.eclipse.emf.ecore.EObject scope,
Element element,
java.lang.String parentSeparator) |
void |
appendQualifiedType(Element element) |
void |
appendTemplateBindings(TemplateableElement typeRef) |
void |
appendTemplateParameters(TemplateableElement templateableElement) |
void |
appendTypedMultiplicity(TypedElement object) |
void |
appendTypeMultiplicity(TypedElement object) |
static PrettyPrinter |
createNamePrinter(Element element,
PrettyPrintOptions options) |
static PrettyPrintOptions.Global |
createOptions(Namespace scope) |
static PrettyPrinter |
createPrinter(Element element,
PrettyPrintOptions options) |
void |
exdent(java.lang.String prefix,
java.lang.String text,
java.lang.String suffix)
Flush the current indented region.
|
Precedence |
getCurrentPrecedence() |
java.lang.String |
getName(NamedElement object,
java.util.Set<java.lang.String> keywords) |
java.lang.String |
getName(java.lang.String name,
java.util.Set<java.lang.String> keywords) |
java.util.Set<java.lang.String> |
getReservedNames() |
java.util.Set<java.lang.String> |
getRestrictedNames() |
Namespace |
getScope() |
void |
next(java.lang.String prefix,
java.lang.String text,
java.lang.String suffix)
Flush the current indented region.
|
void |
pop()
Flush the current indented region.
|
void |
popMode(org.eclipse.ocl.pivot.internal.prettyprint.PrettyPrinter.Mode oldMode) |
void |
popScope(Namespace oldScope) |
void |
precedenceVisit(OCLExpression expression,
Precedence newPrecedence) |
static java.lang.String |
print(Element element) |
static java.lang.String |
print(Element element,
Namespace namespace) |
static java.lang.String |
print(Element element,
PrettyPrintOptions options) |
static java.lang.String |
printName(Element element) |
static java.lang.String |
printName(Element element,
Namespace namespace) |
static java.lang.String |
printName(Element element,
PrettyPrintOptions options) |
static java.lang.String |
printType(Element element) |
static java.lang.String |
printType(Element element,
Namespace namespace) |
static java.lang.String |
printType(Element element,
PrettyPrintOptions options) |
void |
push(java.lang.String text,
java.lang.String suffix)
Emit text to the current indented region.
|
org.eclipse.ocl.pivot.internal.prettyprint.PrettyPrinter.Mode |
pushMode(org.eclipse.ocl.pivot.internal.prettyprint.PrettyPrinter.Mode newMode) |
Namespace |
pushScope(Namespace newScope) |
boolean |
showNames() |
java.lang.String |
toString() |
java.lang.String |
toString(java.lang.String indent,
int lineLength) |
@NonNull public static final java.lang.String NULL_PLACEHOLDER
@NonNull public static java.util.List<java.lang.String> reservedNameList
@NonNull public static java.util.List<java.lang.String> restrictedNameList
protected org.eclipse.ocl.pivot.internal.prettyprint.PrettyPrinter.Fragment fragment
@NonNull public static PrettyPrinter createNamePrinter(@NonNull Element element, @NonNull PrettyPrintOptions options)
@NonNull public static PrettyPrinter createPrinter(@NonNull Element element, @NonNull PrettyPrintOptions options)
@NonNull public static PrettyPrintOptions.Global createOptions(@Nullable Namespace scope)
@NonNull public static java.lang.String print(@NonNull Element element)
@NonNull public static java.lang.String print(@NonNull Element element, @NonNull Namespace namespace)
@NonNull public static java.lang.String print(@NonNull Element element, @NonNull PrettyPrintOptions options)
@NonNull public static java.lang.String printName(@NonNull Element element)
@NonNull public static java.lang.String printName(@NonNull Element element, @NonNull Namespace namespace)
@NonNull public static java.lang.String printName(@NonNull Element element, @NonNull PrettyPrintOptions options)
@NonNull public static java.lang.String printType(@NonNull Element element)
@NonNull public static java.lang.String printType(@NonNull Element element, @NonNull Namespace namespace)
@NonNull public static java.lang.String printType(@NonNull Element element, @NonNull PrettyPrintOptions options)
public void append(java.lang.Number number)
public void append(java.lang.String string)
public void appendElement(@Nullable Element element)
public void appendMultiplicity(@Nullable java.lang.Number lower, @Nullable java.lang.Number upper, boolean isNullFree)
public void appendName(NamedElement object)
public void appendName(NamedElement object, java.util.Set<java.lang.String> keywords)
public void appendParameters(Operation operation, boolean withNames)
public void appendParent(org.eclipse.emf.ecore.EObject scope, Element element, java.lang.String parentSeparator)
public void appendQualifiedType(@NonNull Element element)
public void appendTemplateBindings(@NonNull TemplateableElement typeRef)
public void appendTemplateParameters(TemplateableElement templateableElement)
public void appendTypeMultiplicity(TypedElement object)
public void appendTypedMultiplicity(TypedElement object)
@Nullable public Precedence getCurrentPrecedence()
public java.util.Set<java.lang.String> getReservedNames()
public java.util.Set<java.lang.String> getRestrictedNames()
public Namespace getScope()
public void push(@NonNull java.lang.String text, java.lang.String suffix)
public void exdent(@NonNull java.lang.String prefix, @NonNull java.lang.String text, @NonNull java.lang.String suffix)
public java.lang.String getName(@Nullable NamedElement object, @Nullable java.util.Set<java.lang.String> keywords)
public java.lang.String getName(@Nullable java.lang.String name, @Nullable java.util.Set<java.lang.String> keywords)
public void next(@Nullable java.lang.String prefix, @NonNull java.lang.String text, @NonNull java.lang.String suffix)
public void pop()
public void popMode(@NonNull org.eclipse.ocl.pivot.internal.prettyprint.PrettyPrinter.Mode oldMode)
public void popScope(@Nullable Namespace oldScope)
public void precedenceVisit(@Nullable OCLExpression expression, @Nullable Precedence newPrecedence)
@NonNull public org.eclipse.ocl.pivot.internal.prettyprint.PrettyPrinter.Mode pushMode(@NonNull org.eclipse.ocl.pivot.internal.prettyprint.PrettyPrinter.Mode newMode)
public boolean showNames()
@NonNull public java.lang.String toString()
toString
in class java.lang.Object
@NonNull public java.lang.String toString(@NonNull java.lang.String indent, int lineLength)