Inner Structure summary
|
structure BasicFormattersTest0001
test cases of formatters defined in BasicFormatters .
|
structure PrinterParameterTest0001
verify that the SMLPP treats the newlineString field in
PrinterParameter.parameter properly.
|
structure PrinterParameterTest0002
verify that the SMLPP treats the spaceString field in
PrinterParameter.parameter properly.
|
structure SMLPPTest0001
test cases for pretty-printing of terms.
|
structure SMLPPTest0002
test cases for pretty-printing of space indicators.
|
structure SMLPPTest0003
test cases for pretty-printing of newline indicators.
|
structure SMLPPTest0004
test cases for pretty-printing of space-newline indicators.
|
structure SMLPPTest0005
test cases for pretty-printing of deferred newline indicators.
|
structure SMLPPTest0006
test cases for pretty-printing of expressions with indent width indicators.
|
structure SMLPPTest0007
test cases for pretty-printing of expressions included within guards.
|
structure SMLPPTest0008
test cases examining the relation between the associativity indicators
of two guards one of which is nested within the other.
|
structure SMLPPTest0009
verify that the SMLPP treats the left/right most element in guards properly
in inheriting associativity from the guards to their elements.
|
structure SMLPPTest0010
verify the inheritance of associativity when the expressions contains
three nested guards.
|
structure SMLPPTestUtil
|
structure TestMain
|