Overview  Index  Help 

SMLPPTest0008


structure SMLPPTest0008 =
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 testAssoc0LL1
  val testAssoc0LL2
  val testAssoc0LL3
  val testAssoc0LN1
  val testAssoc0LN2
  val testAssoc0LN3
  val testAssoc0LR1
  val testAssoc0LR2
  val testAssoc0LR3
  val testAssoc0NL1
  val testAssoc0NL2
  val testAssoc0NL3
  val testAssoc0NN1
  val testAssoc0NN2
  val testAssoc0NN3
  val testAssoc0NR1
  val testAssoc0NR2
  val testAssoc0NR3
  val testAssoc0RL1
  val testAssoc0RL2
  val testAssoc0RL3
  val testAssoc0RN1
  val testAssoc0RN2
  val testAssoc0RN3
  val testAssoc0RR1
  val testAssoc0RR2
  val testAssoc0RR3
  val suite
end

test cases examining the relation between the associativity indicators of two guards one of which is nested within the other.

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

 cm{ dn{ ... } ... dn{ ... } }
 
c, d denotes assoc direction(L, R, N), and m, n denotes assoc strength (integer value).

Test cases matrix
case direction(inner) direction(outer) relation R of strength(inner R outer)
0LL1LL<
0LL2=
0LL3>
0LN1N<
0LN2=
0LN3>
0LR1R<
0LR2=
0LR3>

       
Value detail

TESTASSOC_COLUMNS

val TESTASSOC_COLUMNS


prettyPrint

val prettyPrint


makeExpression

val makeExpression


assertAssoc

val assertAssoc


testAssoc0LL1

val testAssoc0LL1


testAssoc0LL2

val testAssoc0LL2


testAssoc0LL3

val testAssoc0LL3


testAssoc0LN1

val testAssoc0LN1


testAssoc0LN2

val testAssoc0LN2


testAssoc0LN3

val testAssoc0LN3


testAssoc0LR1

val testAssoc0LR1


testAssoc0LR2

val testAssoc0LR2


testAssoc0LR3

val testAssoc0LR3


testAssoc0NL1

val testAssoc0NL1


testAssoc0NL2

val testAssoc0NL2


testAssoc0NL3

val testAssoc0NL3


testAssoc0NN1

val testAssoc0NN1


testAssoc0NN2

val testAssoc0NN2


testAssoc0NN3

val testAssoc0NN3


testAssoc0NR1

val testAssoc0NR1


testAssoc0NR2

val testAssoc0NR2


testAssoc0NR3

val testAssoc0NR3


testAssoc0RL1

val testAssoc0RL1


testAssoc0RL2

val testAssoc0RL2


testAssoc0RL3

val testAssoc0RL3


testAssoc0RN1

val testAssoc0RN1


testAssoc0RN2

val testAssoc0RN2


testAssoc0RN3

val testAssoc0RN3


testAssoc0RR1

val testAssoc0RR1


testAssoc0RR2

val testAssoc0RR2


testAssoc0RR3

val testAssoc0RR3


suite

val suite

 


Overview  Index  Help