org.ggp.base.util.statemachine.exceptions.TransitionDefinitionException 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.exceptions;

import java.util.List;

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


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

    private final List moves;
    private final MachineState state;

    public TransitionDefinitionException(MachineState state, List moves)
    {
        this.state = state;
        this.moves = moves;
    }

    public List getMoves()
    {
        return moves;
    }

    public MachineState getState()
    {
        return state;
    }

    @Override
    public String toString()
    {
        return "Transition is poorly defined for " + moves + " in " + state;
    }

}