edu.umd.cs.psl.model

Class ModelEvent

java.lang.Object

edu.umd.cs.psl.model.ModelEvent

public class ModelEvent
extends Object

An event related to a Model.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	ModelEvent.Listener A listener for ModelEvents.
static class	ModelEvent.Type Types of ModelEvents

Constructor Summary

Constructors

Constructor and Description
ModelEvent(ModelEvent.Type type, Model model, Kernel kernel) Constructs a new ModelEvent with associated properties.

Method Summary

Methods

Modifier and Type	Method and Description
Kernel	getKernel()
Model	getModel()
ModelEvent.Type	getType()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ModelEvent

public ModelEvent(ModelEvent.Type type,
          Model model,
          Kernel kernel)

Constructs a new ModelEvent with associated properties.

Parameters:

type - the Type of the new event

model - the Model for which the event occurred

kernel - the Kernel related to the event

Method Detail

getType

public ModelEvent.Type getType()

Returns:

the associated ModelEvent.Type

getModel

public Model getModel()

Returns:

the associated Model

getKernel

public Kernel getKernel()

Returns:

the associated Kernel, or null if no Kernel is associated