com.github.autostyle

Class PaddedCell

java.lang.Object

com.github.autostyle.PaddedCell

public final class PaddedCell
extends java.lang.Object

Models the result of applying a Formatter on a given File while characterizing various failure modes (slow convergence, cycles, and divergence).

See check(Formatter, File) as the entry point to this class.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PaddedCell.Type The kind of result.

Method Summary

Modifier and Type	Method and Description
java.lang.String	canonical() Returns the “canonical” form for this particular result (only possible if isResolvable).
static PaddedCell	check(Formatter formatter, java.io.File file) Applies the given formatter to the given file, checking that F(F(input)) == F(input).
static PaddedCell	check(Formatter formatter, java.io.File file, java.lang.String originalUnix)
java.io.File	file() Returns the file which was tested.
boolean	isResolvable() Any result which doesn’t diverge can be resolved.
boolean	misbehaved() Returns true iff the formatter misbehaved in any way (did not converge after a single iteration).
java.util.List<java.lang.String>	steps() Returns the steps it takes to get to the result.
PaddedCell.Type	type() Returns the type of the result (either PaddedCell.Type.CONVERGE, PaddedCell.Type.CYCLE, or PaddedCell.Type.DIVERGE).
java.lang.String	userMessage() Returns a string which describes this result.

Methods inherited from class java.lang.Object

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

Method Detail

file

public java.io.File file()

Returns the file which was tested.

type

public PaddedCell.Type type()

Returns the type of the result (either PaddedCell.Type.CONVERGE, PaddedCell.Type.CYCLE, or PaddedCell.Type.DIVERGE).

steps

public java.util.List<java.lang.String> steps()

Returns the steps it takes to get to the result.

check

public static PaddedCell check(Formatter formatter,
                               java.io.File file)

Applies the given formatter to the given file, checking that F(F(input)) == F(input).

If it meets this test, misbehaved() will return false.

If it fails the test, misbehaved() will return true, and you can find out more about the misbehavior based on its PaddedCell.Type.

check

public static PaddedCell check(Formatter formatter,
                               java.io.File file,
                               java.lang.String originalUnix)

misbehaved

public boolean misbehaved()

Returns true iff the formatter misbehaved in any way (did not converge after a single iteration).

isResolvable

public boolean isResolvable()

Any result which doesn’t diverge can be resolved.

canonical

public java.lang.String canonical()

Returns the “canonical” form for this particular result (only possible if isResolvable).

userMessage

public java.lang.String userMessage()

Returns a string which describes this result.