hg: lambda/defender-prototype: Exhaustive generated tests, checked against a Java representation of the FD spec

robert.field at oracle.com robert.field at oracle.com
Tue Apr 5 18:22:11 PDT 2011


Changeset: c158f7251144
Author:    Robert Field <Robert.Field at oracle.com>
Date:      2011-04-05 18:15 -0700
URL:       http://hg.openjdk.java.net/lambda/defender-prototype/rev/c158f7251144

Exhaustive generated tests, checked against a Java representation of the FD spec

! build.xml
! src/jsr335/agent/Agent.java
! test/jsr335/agent/junit/DefenderTestCase.java
+ testgen/jsr335/test/shapegen/ClassCase.java
+ testgen/jsr335/test/shapegen/FDTest.java
+ testgen/jsr335/test/shapegen/Hierarchy.java
+ testgen/jsr335/test/shapegen/HierarchyGenerator.java
+ testgen/jsr335/test/shapegen/Rule.java
+ testgen/jsr335/test/shapegen/RuleGroup.java
+ testgen/jsr335/test/shapegen/TTNode.java
+ testgen/jsr335/test/shapegen/TTParser.java
+ testgen/jsr335/test/shapegen/TTShape.java



More information about the lambda-dev mailing list