• Home
• dk.au.ece.vdmj
• vdmj
• 4.6.0-P
• source code
• TraceIteratorList.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

com.fujitsu.vdmj.traces.TraceIteratorList Maven / Gradle / Ivy

/*******************************************************************************
 *
 *	Copyright (c) 2016 Fujitsu Services Ltd.
 *
 *	Author: Nick Battle
 *
 *	This file is part of VDMJ.
 *
 *	VDMJ is free software: you can redistribute it and/or modify
 *	it under the terms of the GNU General Public License as published by
 *	the Free Software Foundation, either version 3 of the License, or
 *	(at your option) any later version.
 *
 *	VDMJ is distributed in the hope that it will be useful,
 *	but WITHOUT ANY WARRANTY; without even the implied warranty of
 *	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *	GNU General Public License for more details.
 *
 *	You should have received a copy of the GNU General Public License
 *	along with VDMJ.  If not, see .
 *	SPDX-License-Identifier: GPL-3.0-or-later
 *
 ******************************************************************************/

package com.fujitsu.vdmj.traces;

import java.util.Vector;

/**
 * A list of trace iterators, and operations to perform on them as a group.
 */
public class TraceIteratorList extends Vector
{
	private static final long serialVersionUID = 1L;
	
	private CallSequence[] alternatives = null;

	private Integer lastAlternative = null;

	public void reset()
	{
		for (TraceIterator iter: this)
		{
			iter.reset();
		}
		
		alternatives = null;
		lastAlternative = null;
	}
	
	public int countSequence()
	{
		int result = 1;
		
		for (TraceIterator iter: this)
		{
			result = result * iter.count();
		}
		
		return result;
	}

	public int countAlternative()
	{
		int result = 0;
		
		for (TraceIterator iter: this)
		{
			result = result + iter.count();
		}
		
		return result;
	}

	public boolean hasMoreSequenceTests()
	{
		for (int i=0; i < size(); i++)
		{
			if (get(i).hasMoreTests())
			{
				return true;
			}
		}
		
		return false;
	}

	public boolean hasMoreAlternativeTests()
	{
		int i = (lastAlternative != null) ? lastAlternative : 0;
		
		for (; i