Java VSpec Examples

Example #1

File: BVRToolBCLBuilderStrategy.java Project: SINTEF-9012/bvr

 @Override
 public VSpec testVSpecName(VSpec node, String name) {
   // TODO Auto-generated method stub
   Target target = node.getTarget();
   if (target != null && name.equals(target.getName())) {
     return node;
   }
   return null;
 }

Example #2

File: BVRToolBCLBuilderStrategy.java Project: SINTEF-9012/bvr

 @Override
 public Target getVSpecTarget(VSpec node) {
   return node.getTarget();
 }