plugins/org.eclipse.bpel.validator/src/org/eclipse/bpel/validator/rules/OnAlarmValidator.java

/*******************************************************************************
 * Copyright (c) 2006 Oracle Corporation and others.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License 2.0
 * which accompanies this distribution, and is available at
 * https://www.eclipse.org/legal/epl-2.0/
 *
 * SPDX-License-Identifier: EPL-2.0
 *
 * Contributors:
 *     Oracle Corporation - initial API and implementation
 *******************************************************************************/
package org.eclipse.bpel.validator.rules;


/**
 * Dependency on the BPEL Validation Model API
 */
import org.eclipse.bpel.validator.model.ARule;
import org.eclipse.bpel.validator.model.Filters;
import org.eclipse.bpel.validator.model.IFilter;
import org.eclipse.bpel.validator.model.INode;
import org.eclipse.bpel.validator.model.IProblem;
import org.eclipse.bpel.validator.model.NodeNameFilter;



/**
 * Validates Wait nodes.
 * 
 * @author Michal Chmielewski (michal.chmielewski@oracle.com)
 * @date Sep 22, 2006
 *
 */


public class OnAlarmValidator extends CValidator {
			
	protected INode untilExpr;
	protected INode forExpr;
	
	protected boolean fIsEventHandler = false;
	
	/** Parent nodes */
	static public IFilter<INode> PARENTS = new NodeNameFilter(
			ND_PICK, ND_EVENT_HANDLERS
	);
	
	
	/**
	 * Start the validation of this node.
	 */
	@Override
	protected void start () {
		super.start();		
		forExpr = mNode.getNode( ND_FOR );
		untilExpr = mNode.getNode( ND_UNTIL );	
		
		fIsEventHandler = fParentNode.nodeName().equals(ND_EVENT_HANDLERS);						
	}
		
	
	/**
	 * @see org.eclipse.bpel.validator.rules.CValidator#checkChildren()
	 */
	@Override
	public void checkChildren () {
		
		super.checkChildren();
		if (fIsEventHandler) {
			checkChild(ND_REPEAT_EVERY, 0, 1);
			checkChild(ND_SCOPE,1,1);
		} else {
			checkChild(Filters.ACTIVITIES,1,1);
		}
	}
		
	
	/** 
	 * Do a basic sanity check on the wait activity.
	 */
	
	@ARule(
			desc = "Basic sanity check of wait activity",
			author = "michal.chmielewski@oracle.com",
			date = "03/15/2007",
			errors="BPELC_EMPTY_EXPIRATION_SETTING,BPELC_MULTIPLE_EXPIRATION_SETTING"
		)
	public void rule_BasicSanityCheck_5 () {
		
		IProblem problem;
		
		if (forExpr == null && untilExpr == null) {
			// both undefined
			problem = createError();
			problem.fill( 
					"BPELC_EMPTY_EXPIRATION_SETTING", //$NON-NLS-1$
					toString(mNode.nodeName()) );
		} 
		
		
		if (forExpr != null && untilExpr != null) {
			// both defined
			problem = createError();
			problem.fill( 
					"BPELC_MULTIPLE_EXPIRATION_SETTING", //$NON-NLS-1$
					toString(mNode.nodeName()) );
		}		
	}
	
	
		
	
	/** End of public rule methods.
	 * 
	 * Other methods are support methods for this class to perform its
	 * validation function.
	 * 
	 */

	
}