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.LabelVal	Wrapper that indicates that a value should be printed "label:type".
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".
private static class	Pretty.TypeVal	Wrapper around a type value.

Field Summary

Fields

Modifier and Type	Field	Description
private final int	lineWidth
private final int	printDepth
private final int	printLength
private final int	stringDepth
private final 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, int leftPrec, int rightPrec)	Prints a value to a buffer.
private StringBuilder	pretty2(StringBuilder buf, int indent, int[] lineEnd, int depth, Type type, Object value, int leftPrec, int rightPrec)
private StringBuilder	prettyType(StringBuilder buf, int indent, int[] lineEnd, int depth, Type type, Pretty.TypeVal typeVal, int leftPrec, int rightPrec)
private StringBuilder	printList(StringBuilder buf, int indent, int[] lineEnd, int depth, Type elementType, List<Object> list)
private static List<Object>	toList(Object value)
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 Details

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 Details

Pretty

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

Method Details

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,
 int leftPrec,
 int rightPrec)

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,
 @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

private static List<Object> toList(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)