org.yawlfoundation.yawl.elements
Class YNetLocalVarVerifier

java.lang.Object
  extended by org.yawlfoundation.yawl.elements.YNetLocalVarVerifier

public class YNetLocalVarVerifier
extends Object

Walks the net in reverse to discover any task-level input data variables that map from net-level local variables that have no initial value won't be assigned a value by a task earlier in the net.

Author:
Michael Adams
Created/Last Date:
3/05/2010

Constructor Summary
YNetLocalVarVerifier(YNet net)
          Constructor
 
Method Summary
 List<YVerificationMessage> verify()
          Verifies the net
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

YNetLocalVarVerifier

public YNetLocalVarVerifier(YNet net)
Constructor

Parameters:
net - the net to verify
Method Detail

verify

public List<YVerificationMessage> verify()
Verifies the net

Returns:
a list of verification error messages (may be empty)


Copyright © 2004-2012 The YAWL Foundation.