org.ggp.base.util.statemachine.exceptions.MoveDefinitionException Maven / Gradle / Ivy

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.

There is a newer version: 0.0.15

package org.ggp.base.util.statemachine.exceptions;

import org.ggp.base.util.statemachine.MachineState;
import org.ggp.base.util.statemachine.Role;

@SuppressWarnings("serial")
public final class MoveDefinitionException extends Exception
{

    private final Role role;
    private final MachineState state;

    public MoveDefinitionException(MachineState state, Role role)
    {
        this.state = state;
        this.role = role;
    }

    public Role getRole()
    {
        return role;
    }

    public MachineState getState()
    {
        return state;
    }

    @Override
    public String toString()
    {
        return "There are no legal moves defined for " + role + " in " + state;
    }

}