/* ASTInfo - Decompiled by JODE
 * Visit http://jode.sourceforge.net/
 */
package alloy.transl;
import java.util.Map;
import java.util.Set;

import alloy.ast.LeafId;
import alloy.ast.MultiplicityExpr;
import alloy.ast.Node;
import alloy.ast.VarCreator;
import alloy.ast.Variable;
import alloy.type.RelationType;

public interface ASTInfo
{
    public Node getParent(Node node);
    
    public boolean isAncestor(Node node, Node node_0_);
    
    public VarCreator getVarCreator(LeafId leafid);
    
    public Set getBasicTypes();
    
    public MultiplicityExpr getLeafMultiplicity(LeafId leafid);
    
    public Variable getVariable(LeafId leafid);
    
    public RelationType getLeafType(LeafId leafid);
    
    public Map getRelations();
}