de.be4.classicalb.core.parser.IDefinitions Maven / Gradle / Ivy

Go to download

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

Part of the ProB Parser library

The newest version!

package de.be4.classicalb.core.parser;

import java.io.File;
import java.util.ArrayList;
import java.util.List;
import java.util.Map;
import java.util.Set;

import de.be4.classicalb.core.parser.analysis.prolog.INodeIds;
import de.be4.classicalb.core.parser.exceptions.PreParseException;
import de.be4.classicalb.core.parser.node.AExpressionDefinitionDefinition;
import de.be4.classicalb.core.parser.node.APredicateDefinitionDefinition;
import de.be4.classicalb.core.parser.node.ASubstitutionDefinitionDefinition;
import de.be4.classicalb.core.parser.node.PDefinition;

public abstract class IDefinitions {
	public enum Type {
		NoDefinition, Expression, Predicate, Substitution, ExprOrSubst
	}

	protected final List referencedDefinitions = new ArrayList<>();

	public abstract PDefinition getDefinition(String defName);

	public abstract boolean containsDefinition(String defName);

	public abstract Map getTypes();

	public abstract int getParameterCount(String defName);

	public abstract Type getType(String defName);

	public abstract Set getDefinitionNames();

	public abstract void addDefinition(APredicateDefinitionDefinition defNode, Type type);

	public abstract void addDefinition(ASubstitutionDefinitionDefinition defNode, Type type);

	public abstract void addDefinition(AExpressionDefinitionDefinition defNode, Type type);

	public abstract void addDefinition(PDefinition defNode, Type type, String key);

	public abstract void addDefinition(PDefinition defNode);

	public abstract void addDefinitions(IDefinitions defs) throws PreParseException;

	public abstract void replaceDefinition(final String key, final Type type, final PDefinition node);

	public abstract void assignIdsToNodes(INodeIds nodeIdMapping, List machineFilesLoaded);

	public abstract void setDefinitionType(String identifierString, Type expression);

	public abstract File getFile(String defName);

}