de.tlc4b.tla.ConfigFile Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of tlc4b Show documentation

Use the TLC model checker within ProB.

The newest version!

package de.tlc4b.tla;

import java.util.ArrayList;

import de.tlc4b.tla.config.ConfigFileAssignment;


public class ConfigFile {

	private final ArrayList assignments;
	private int invariantNumber;
	private boolean spec;
	private boolean init;
	private boolean next;
	private int assertionsSize;
	private boolean goal;
	
	
	public ConfigFile(){
		this.assignments = new ArrayList<>();
		this.invariantNumber = 0;
	}


	public ArrayList getAssignments() {
		return assignments;
	}

	public boolean isSpec(){
		return spec;
	}
	

	public void setInvariantNumber(int number) {
		this.invariantNumber = number;
	}


	public boolean isInit() {
		return init;
	}


	public boolean isNext() {
		return next;
	}
	
	public void addAssignment(ConfigFileAssignment assignment){
		assignments.add(assignment);
	}


	public int getInvariantNumber() {
		return this.invariantNumber;
	}


	public void setInit() {
		this.init = true;
	}


	public void setNext() {
		this.next = true;
	}


	public void setAssertionSize(int size) {
		assertionsSize = size;
	}
	
	public int getAssertionSize(){
		return assertionsSize;
	}
	
	public void setSpec(){
		this.spec = true;
	}
	
	public void setGoal(){
		this.goal = true;
	}
	
	public boolean isGoal(){
		return this.goal;
	}
	
}