NameDictionary.java

package com.plectix.simulator.util;

import com.plectix.simulator.staticanalysis.Agent;
import com.plectix.simulator.staticanalysis.InternalState;
import com.plectix.simulator.staticanalysis.Site;

public final class NameDictionary {
	public static final boolean isDefaultAgentName(String name) { 
		return Agent.DEFAULT_NAME.equals(name);
	}
	
	public static final boolean isDefaultSiteName(String name) { 
		return Site.DEFAULT_NAME.equals(name);
	}
	
	public static final boolean isDefaultInternalStateName(String name) { 
		return InternalState.DEFAULT_NAME.equals(name);
	}
}