astra.cartago.CartagoAPI Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of astra-cartago Show documentation
Show all versions of astra-cartago Show documentation
Base project for ASTRA applications
package astra.cartago;
import java.util.HashMap;
import java.util.LinkedList;
import java.util.List;
import java.util.Map;
import java.util.logging.Level;
import java.util.logging.Logger;
import astra.core.Agent;
import astra.core.Intention;
import astra.event.BeliefEvent;
import astra.formula.Predicate;
import astra.term.Funct;
import astra.term.ListTerm;
import astra.term.Primitive;
import astra.term.Term;
import astra.term.Variable;
import astra.type.Type;
import cartago.ArtifactId;
import cartago.ArtifactObsProperty;
import cartago.CartagoEvent;
import cartago.CartagoException;
import cartago.CartagoService;
import cartago.ICartagoListener;
import cartago.ICartagoSession;
import cartago.Op;
import cartago.OpFeedbackParam;
import cartago.Tuple;
import cartago.events.ActionFailedEvent;
import cartago.events.ActionSucceededEvent;
import cartago.events.ArtifactObsEvent;
import cartago.events.FocusSucceededEvent;
import cartago.events.FocussedArtifactDisposedEvent;
import cartago.events.JoinWSPSucceededEvent;
import cartago.events.QuitWSPSucceededEvent;
import cartago.events.StopFocusSucceededEvent;
import cartago.security.AgentIdCredential;
public class CartagoAPI implements ICartagoListener {
private static Map apis = new HashMap();
Agent agent;
public static CartagoAPI create(Agent agent) {
CartagoAPI cartagoAPI = new CartagoAPI(agent);
apis.put(agent.name(), cartagoAPI);
return cartagoAPI;
}
public static CartagoAPI get(Agent agent) {
return apis.get(agent.name());
}
private static class OperationContext {
Intention intention;
Predicate action;
public OperationContext(Intention intention, Predicate action) {
this.intention = intention;
this.action = action;
}
}
private ICartagoSession session;
private Map operationRegister = new HashMap();
private ArtifactStore artifactStore = new ArtifactStore();
private static Logger log = Logger.getLogger(CartagoAPI.class.getName());
static {
log.setLevel(Level.OFF);
}
public CartagoAPI(Agent agent) {
this.agent = agent;
agent.addSource(artifactStore);
try {
// session = CartagoService.startSession( CartagoService.MAIN_WSP_NAME, new AgentIdCredential( agent.name() ), this );
// log.info( "[" + agent.name() + "] Cartago Session created: " + CartagoService.MAIN_WSP_NAME );
session = CartagoService.startSession( "main", new AgentIdCredential( agent.name() ), this );
log.info( "[" + agent.name() + "] Cartago Session created: main" );
}
catch ( CartagoException e1 ) {
log.severe("[" + agent.name() + "] Problem creating Cartago Session" );
e1.printStackTrace();
System.exit(1);
}
}
public synchronized boolean notifyCartagoEvent( CartagoEvent ev ) {
// System.out.println("[" + agent.name() + "] Event: " + ev.getClass().getCanonicalName());
if ( ev instanceof ActionSucceededEvent ) {
ActionSucceededEvent evt = (ActionSucceededEvent) ev;
// System.out.println("Success: " + evt.getActionId());
OperationContext context = operationRegister.remove( evt.getActionId() );
if (context == null) {
// we have a TR action result (so ignore for now)
return true;
}
// System.out.println("Handling: " + evt.getOp());
// Handle update of the operation here...
// Create bindings for any unbound variables
Object paramValues[] = evt.getOp().getParamValues();
for (int i=0; i){
OpFeedbackParam feedbackParam = (OpFeedbackParam) paramValues[i];
// System.out.println("Feedback Parameter Value: " +feedbackParam.get());
// System.out.println("Feedback Parameter Class: " +feedbackParam.get().getClass().getCanonicalName());
// System.out.println("Feedback Parameter Type: " + Type.getType(feedbackParam.get()));
// System.out.println("Variable Type: " + var.type());
if (!var.type().equals(Type.getType(feedbackParam.get()))) {
// We have type incompatibility
context.intention.notifyDone("Incompatible type for variable: " + var + " Expected: " + var.type() + " but got: " + Type.getType(feedbackParam.get()), null);
return false;
}
if (var.type().equals(Type.LIST)) {
if (ListTerm.class.isInstance(feedbackParam.get())) {
// System.out.println("[CartagoAPI] Updating: " + var + " to (ListTerm): " + feedbackParam.get());
if (!context.intention.updateVariable(var, (ListTerm) feedbackParam.get())) {
context.intention.executor().addVariable(var, (ListTerm) feedbackParam.get());
}
} else {
// System.out.println("[CartagoAPI] Updating: " + var + " to (converted to ListTerm): " + feedbackParam.get());
ListTerm listTerm = ListTerm.toListTerm((List) feedbackParam.get());
if (!context.intention.updateVariable(var, listTerm)) {
context.intention.executor().addVariable(var, listTerm);
}
}
} else {
// System.out.println("[CartagoAPI] Updating: " + var + " to: " + feedbackParam.get());
if (!context.intention.updateVariable(var, Primitive.newPrimitive(feedbackParam.get()))) {
context.intention.executor().addVariable(var, Primitive.newPrimitive(feedbackParam.get()));
}
}
} else if (context.action.termAt(i) instanceof Variable) {
context.intention.notifyDone("[" + context.intention.name() + "] Unexpected variable in cartago operation call: " + term, null);
return false;
}
}
}
context.intention.notifyDone(null);
if ( ev instanceof FocusSucceededEvent ) {
FocusSucceededEvent ev1 = (FocusSucceededEvent) ev;
for ( ArtifactObsProperty prop : ev1.getObsProperties() ) {
artifactStore.storeObservableProperty( ev1.getArtifactId(), prop.getFullId(), toPredicate(prop) );
agent.addEvent(
new CartagoPropertyEvent( CartagoPropertyEvent.ADDED,
Primitive.newPrimitive( prop.getFullId() ),
toFunct(prop)
)
);
}
} else if ( ev instanceof StopFocusSucceededEvent ) {
StopFocusSucceededEvent ev1 = (StopFocusSucceededEvent) ev;
for ( ArtifactObsProperty prop : ev1.getObsProperties() ) {
artifactStore.removeObservableProperty( ev1.getArtifactId(), prop.getFullId() );
agent.addEvent(
new CartagoPropertyEvent( CartagoPropertyEvent.REMOVED,
Primitive.newPrimitive( prop.getFullId() ),
toFunct(prop)
));
}
context.intention.notifyDone(null);
} else if ( ev instanceof JoinWSPSucceededEvent ) {
agent.addEvent( new BeliefEvent( BeliefEvent.ADDITION,
new Predicate("joinedWorkspace", new Term[] {
Primitive.newPrimitive(((JoinWSPSucceededEvent) ev).getWorkspaceId())
})
));
}
} else if ( ev instanceof ActionFailedEvent ) {
ActionFailedEvent evt = (ActionFailedEvent) ev;
// System.out.println("Failure: " + evt.getActionId());
OperationContext context = operationRegister.remove( evt.getActionId() );
if (context == null) {
// This is happening to methods that succeed and then fail...
// System.err.println("Unexpected Action Failure: " + evt.getFailureMsg());
// System.err.println("\tOperation: " + evt.getOp().toString());
// System.err.println("\tDescription: " + evt.getFailureDescr().toString());
} else {
context.intention.notifyDone("CARTAGO Action failed: " + context.intention.getNextStatement() + ": " + evt.getFailureMsg());
}
} else if ( ev instanceof FocussedArtifactDisposedEvent ) {
FocussedArtifactDisposedEvent ev1 = (FocussedArtifactDisposedEvent) ev;
for ( ArtifactObsProperty prop : ev1.getObsProperties() ) {
artifactStore.removeObservableProperty( ev1.getArtifactId(), prop.getFullId() );
agent.addEvent( new CartagoPropertyEvent(
CartagoPropertyEvent.REMOVED,
Primitive.newPrimitive( prop.getFullId() ),
toFunct(prop)
) );
}
}
else if ( ev instanceof ArtifactObsEvent ) {
ArtifactObsEvent evt = (ArtifactObsEvent) ev;
Tuple signal = evt.getSignal();
if ( signal != null ) {
createSignal(evt.getArtifactId(), signal);
}
if ( evt.getAddedProperties() != null ) {
for ( ArtifactObsProperty prop : evt.getAddedProperties() ) {
artifactStore.storeObservableProperty( evt.getArtifactId(), prop.getFullId(), toPredicate(prop));
agent.addEvent(
new CartagoPropertyEvent(
CartagoPropertyEvent.ADDED,
Primitive.newPrimitive( prop.getFullId() ),
toFunct(prop)
)
);
}
}
if ( evt.getRemovedProperties() != null ) {
for ( ArtifactObsProperty prop : evt.getRemovedProperties() ) {
artifactStore.removeObservableProperty( evt.getArtifactId(), prop.getFullId() );
agent.addEvent( new CartagoPropertyEvent(
CartagoPropertyEvent.REMOVED,
Primitive.newPrimitive( prop.getFullId() ),
toFunct(prop)
) );
}
artifactStore.removeArtifactProperties(evt.getArtifactId());
}
if ( evt.getChangedProperties() != null ) {
for ( ArtifactObsProperty prop : evt.getChangedProperties() ) {
Predicate oldProperty = artifactStore.getObservableProperty(evt.getArtifactId(), prop.getFullId());
artifactStore.storeObservableProperty( evt.getArtifactId(), prop.getFullId(), toPredicate(prop) );
if (oldProperty != null) {
agent.addEvent( new CartagoPropertyEvent(
CartagoPropertyEvent.REMOVED,
Primitive.newPrimitive( prop.getFullId() ),
new Funct(oldProperty.predicate(), oldProperty.terms())
) );
}
agent.addEvent( new CartagoPropertyEvent(
CartagoPropertyEvent.ADDED,
Primitive.newPrimitive( prop.getFullId() ),
toFunct(prop)
) );
}
}
}
else if ( ev instanceof QuitWSPSucceededEvent ) {
// try {
// currentWorkspace = getObjectId( session.getCurrentWorkspace() );
// }
// catch ( CartagoException e ) {
// e.printStackTrace();
// }
}
else {
System.out.println( "unhandled event: " + ev );
}
return true;
}
private void createSignal(ArtifactId artifactId, Tuple signal) {
List terms = new LinkedList();
for ( Object obj : signal.getContents() ) {
if (obj != null) terms.add( Primitive.newPrimitive( obj ) );
}
agent.addEvent( new CartagoSignalEvent(
Primitive.newPrimitive(artifactId.getName()),
new Funct( signal.getLabel(), terms.toArray( new Term[ terms.size() ] ) )
) );
}
private Predicate toPredicate(ArtifactObsProperty prop) {
List list = new LinkedList();
for ( Object obj : prop.getValues() ) {
list.add( Primitive.newPrimitive( obj ) );
}
return new Predicate( prop.getName(), list.toArray( new Term[ list.size() ] ) );
}
private Funct toFunct(ArtifactObsProperty prop) {
List list = new LinkedList();
for ( Object obj : prop.getValues() ) {
list.add( Primitive.newPrimitive( obj ) );
}
return new Funct( prop.getName(), list.toArray( new Term[ list.size() ] ) );
}
public ICartagoSession getSession() {
return this.session;
}
@SuppressWarnings("rawtypes")
public LinkedList