Package net.hydromatic.morel.compile

Class Pretty

java.lang.Object

net.hydromatic.morel.compile.Pretty

class Pretty
extends Object

Prints values.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	Pretty.NamedVal	Wrapper that indicates that a value should be printed "name = value".
(package private) static class	Pretty.TypedVal	Wrapper that indicates that a value should be printed "val name = value : type".

Field Summary

Fields

Modifier and Type	Field	Description
private int	lineWidth
private int	printDepth
private int	printLength
private int	stringDepth
private TypeSystem	typeSystem

Constructor Summary

Constructors

Constructor	Description
Pretty(TypeSystem typeSystem, int lineWidth, int printLength, int printDepth, int stringDepth)

Method Summary

Modifier and Type	Method	Description
private static void	indent(StringBuilder buf, int indent)
(package private) StringBuilder	pretty(StringBuilder buf, Type type, Object value)	Prints a value to a buffer.
private StringBuilder	pretty1(StringBuilder buf, int indent, int[] lineEnd, int depth, Type type, Object value)	Prints a value to a buffer.
private StringBuilder	pretty2(StringBuilder buf, int indent, int[] lineEnd, int depth, Type type, List<? extends Type> argTypes, Object value)
private StringBuilder	printList(StringBuilder buf, int indent, int[] lineEnd, int depth, Type elementType, List<Object> list)
private static Type	unqualified(Type type)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

typeSystem

private final TypeSystem typeSystem

lineWidth

private final int lineWidth

printLength

private final int printLength

printDepth

private final int printDepth

stringDepth

private final int stringDepth

Constructor Detail

Pretty

Pretty(TypeSystem typeSystem,
       int lineWidth,
       int printLength,
       int printDepth,
       int stringDepth)

Method Detail

pretty

StringBuilder pretty(@Nonnull
                     StringBuilder buf,
                     @Nonnull
                     Type type,
                     @Nonnull
                     Object value)

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)

Prints a value to a buffer. If the first attempt goes beyond lineEnd, back-tracks, adds a newline and indent, and tries again one time.

indent

private static void indent(@Nonnull
                           StringBuilder buf,
                           int indent)

pretty2

private StringBuilder pretty2(@Nonnull
                              StringBuilder buf,
                              int indent,
                              int[] lineEnd,
                              int depth,
                              @Nonnull
                              Type type,
                              List<? extends Type> argTypes,
                              @Nonnull
                              Object value)

unqualified

private static Type unqualified(Type type)

printList

private StringBuilder printList(@Nonnull
                                StringBuilder buf,
                                int indent,
                                int[] lineEnd,
                                int depth,
                                @Nonnull
                                Type elementType,
                                @Nonnull
                                List<Object> list)