Overview  Index  Help 

SMLPPTest0010


structure SMLPPTest0010 =
struct
  structure Assert = SMLUnit.Assert
  structure Test = SMLUnit.Test
  structure Testee = SMLPP
  structure FE = Testee.FormatExpression
  structure PP = Testee.PrinterParameter
  val TESTASSOC_COLUMNS
  val prettyPrint
  val makeExpression
  val assertAssoc
  val testAssoc0001
  val testAssoc0002
  val testAssoc0003
  val testAssoc0004
  val testAssoc0005
  val testAssoc0006
  val testAssoc0007
  val testAssoc0008
  val testAssoc0101
  val testAssoc0102
  val testAssoc0103
  val testAssoc0104
  val testAssoc0105
  val testAssoc0106
  val testAssoc0107
  val testAssoc0108
  val suite
end

verify the inheritance of associativity when the expressions contains three nested guards.

These cases pretty-print expressions of the form as follows:

 c{ d{ e{ ... } } ... d{ e{ ... } } }
 
c, d, e denotes assoc indicators.

variation of cut attribute of assoc indicator of the middle guard:

variation of strength of assoc indicators:

Test cases matrix
case cut attribute strength of assoc indicators
0001without cut1
00022
00033
00044
00055
00066
00077
00088
0101with cut1
01022
01033
01044
01055
01066
01077
01088

       
Value detail

TESTASSOC_COLUMNS

val TESTASSOC_COLUMNS


prettyPrint

val prettyPrint


makeExpression

val makeExpression


assertAssoc

val assertAssoc


testAssoc0001

val testAssoc0001


testAssoc0002

val testAssoc0002


testAssoc0003

val testAssoc0003


testAssoc0004

val testAssoc0004


testAssoc0005

val testAssoc0005


testAssoc0006

val testAssoc0006


testAssoc0007

val testAssoc0007


testAssoc0008

val testAssoc0008


testAssoc0101

val testAssoc0101


testAssoc0102

val testAssoc0102


testAssoc0103

val testAssoc0103


testAssoc0104

val testAssoc0104


testAssoc0105

val testAssoc0105


testAssoc0106

val testAssoc0106


testAssoc0107

val testAssoc0107


testAssoc0108

val testAssoc0108


suite

val suite

 


Overview  Index  Help