com.uppaal.model.core2

Interface QueryListListener

public interface QueryListListener

Listener class for 'QueryList'

Method Summary

Modifier and Type	Method and Description
void	queryAdded(Query query, int index)
void	queryRemoved(Query query, int index)

Method Detail

queryAdded

void queryAdded(Query query,
                int index)

queryRemoved

void queryRemoved(Query query,
                  int index)