Package net.hydromatic.morel.compile
Class Pretty
java.lang.Object
net.hydromatic.morel.compile.Pretty
Prints values.
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionprivate static classWrapper that indicates that a value should be printed "label:type".private static classWrapper that indicates that a value should be printed "name = value".(package private) static classWrapper that indicates that a value should be printed "val name = value : type".private static classWrapper around a type value. -
Field Summary
FieldsModifier and TypeFieldDescriptionprivate final intprivate final intprivate final intprivate final intprivate final TypeSystem -
Constructor Summary
ConstructorsConstructorDescriptionPretty(TypeSystem typeSystem, int lineWidth, int printLength, int printDepth, int stringDepth) -
Method Summary
Modifier and TypeMethodDescriptionprivate static voidindent(StringBuilder buf, int indent) (package private) StringBuilderpretty(StringBuilder buf, Type type, Object value) Prints a value to a buffer.private StringBuilderpretty1(StringBuilder buf, int indent, int[] lineEnd, int depth, Type type, Object value, int leftPrec, int rightPrec) Prints a value to a buffer.private StringBuilderpretty2(StringBuilder buf, int indent, int[] lineEnd, int depth, Type type, Object value, int leftPrec, int rightPrec) private StringBuilderprettyType(StringBuilder buf, int indent, int[] lineEnd, int depth, Type type, Pretty.TypeVal typeVal, int leftPrec, int rightPrec) private StringBuilderprintList(StringBuilder buf, int indent, int[] lineEnd, int depth, Type elementType, List<Object> list) private static Typeunqualified(Type type)
-
Field Details
-
typeSystem
-
lineWidth
private final int lineWidth -
printLength
private final int printLength -
printDepth
private final int printDepth -
stringDepth
private final int stringDepth
-
-
Constructor Details
-
Pretty
Pretty(TypeSystem typeSystem, int lineWidth, int printLength, int printDepth, int stringDepth)
-
-
Method Details
-
pretty
Prints a value to a buffer. -
pretty1
private StringBuilder pretty1(@Nonnull StringBuilder buf, int indent, int[] lineEnd, int depth, @Nonnull Type type, @Nonnull Object value, int leftPrec, int rightPrec) Prints a value to a buffer. If the first attempt goes beyondlineEnd, back-tracks, adds a newline and indent, and tries again one time. -
indent
-
pretty2
private StringBuilder pretty2(@Nonnull StringBuilder buf, int indent, int[] lineEnd, int depth, @Nonnull Type type, @Nonnull Object value, int leftPrec, int rightPrec) -
prettyType
private StringBuilder prettyType(StringBuilder buf, int indent, int[] lineEnd, int depth, Type type, Pretty.TypeVal typeVal, int leftPrec, int rightPrec) -
toList
-
unqualified
-
printList
private StringBuilder printList(@Nonnull StringBuilder buf, int indent, int[] lineEnd, int depth, @Nonnull Type elementType, @Nonnull List<Object> list)
-