//This file generated automatically from the MARIUS LP system, please do not edit.

public class EstadoContexto implements EstadoBase {
public void op1(){ _impl.op1();}
public void op2(){ _impl.op2();}
public void op3(){ _impl.op3();}
private EstadoBase _impl=null;
public void cambiarEstado(EstadoBase nuevoEstado) {
   _impl=nuevoEstado;
}
} //End of class EstadoContexto