edu.neu.ccs.demeterf.examples
Class ContainerTest

java.lang.Object
  extended by edu.neu.ccs.demeterf.examples.ContainerTest

public class ContainerTest
extends java.lang.Object

Container Checking using the Transform Library Uses a type-unifying traversal to produce the violations and total weight of each Container (C)


Constructor Summary
ContainerTest()
           
 
Method Summary
static void main(java.lang.String[] args)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ContainerTest

public ContainerTest()
Method Detail

main

public static void main(java.lang.String[] args)