org.ggp.base.util.statemachine.Role Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of alloy-ggp-base Show documentation

A modified version of the GGP-Base library for Alloy.

The newest version!

package org.ggp.base.util.statemachine;

import java.io.Serializable;
import java.util.List;

import org.ggp.base.util.gdl.grammar.Gdl;
import org.ggp.base.util.gdl.grammar.GdlConstant;
import org.ggp.base.util.gdl.grammar.GdlPool;
import org.ggp.base.util.gdl.grammar.GdlRelation;

import com.google.common.collect.ImmutableList;


/**
 * A Role represents the name used for a player in a game description.
 * 
 * The list of roles defined in a game description can be extracted
 * using the {@link #computeRoles(List)} method.
 */
@SuppressWarnings("serial")
public class Role implements Serializable
{
    protected final GdlConstant name;

    public Role(GdlConstant name)
    {
        this.name = name;
    }

    public static Role create(String name) {
        return new Role(GdlPool.getConstant(name));
    }

    @Override
    public boolean equals(Object o)
    {
        if ((o != null) && (o instanceof Role))
        {
            Role role = (Role) o;
            return role.name.equals(name);
        }

        return false;
    }

    public GdlConstant getName()
    {
        return name;
    }

    @Override
    public int hashCode()
    {
        return name.hashCode();
    }

    @Override
    public String toString()
    {
        return name.toString();
    }

    /**
     * Compute all of the roles in a game, in the correct order.
     * 
     * Order matters, because a joint move is defined as an ordered list
     * of moves, in which the order determines which player took which of
     * the moves. This function will give an ordered list in which the roles
     * have that correct order.
     */
    public static List computeRoles(List description)
    {
        ImmutableList.Builder roles = ImmutableList.builder();
        for (Gdl gdl : description) {
            if (gdl instanceof GdlRelation) {
                GdlRelation relation = (GdlRelation) gdl;
                if (relation.getName().getValue().equals("role")) {
                    roles.add(new Role((GdlConstant) relation.get(0)));
                }
            }
        }
        return roles.build();
    }
}