MessageEvent (com.astralanguage:astra-interpreter 1.0.10 API)

java.lang.Object

astra.messaging.MessageEvent

All Implemented Interfaces:: Event

public class MessageEvent
extends Object
implements Event

Field Summary

Fields inherited from interface astra.event.Event
ADDITION, REMOVAL

Constructor Summary

Constructors
Constructor	Description
`MessageEvent(Term performative, Term sender, Formula content)`
`MessageEvent(Term performative, Term sender, Formula content, Term params)`

Method Summary

Modifier and Type	Method	Description
`Event`	`accept(LogicVisitor visitor)`
`Formula`	`content()`
`Object`	`getSource()`
`Term`	`params()`
`Term`	`performative()`
`Term`	`sender()`
`String`	`signature()`
`String`	`toString()`

Methods inherited from class java.lang.Object

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

Constructor Details
- MessageEvent
  
  public MessageEvent(Term performative, Term sender, Formula content)
- MessageEvent
  
  public MessageEvent(Term performative, Term sender, Formula content, Term params)
Method Details
- signature
  
  public String signature()
  
  Specified by:
  
  signature in interface Event
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object
- performative
  
  public Term performative()
- sender
  
  public Term sender()
- content
  
  public Formula content()
- getSource
  
  public Object getSource()
  
  Specified by:
  
  getSource in interface Event
- params
  
  public Term params()
- accept
  
  public Event accept(LogicVisitor visitor)
  
  Specified by:
  
  accept in interface Event