001package Torello.Browser;
002
003import Torello.Java.UnreachableError;
004
005import javax.json.stream.JsonGenerator;
006
007/**
008 * Marker Events are events which the browser fires, and transmits over the Web-Socket Wall, that 
009 * do not possess any data or state whatsoever.
010 */
011public class MarkerEvent extends BrowserEvent<MarkerEvent>
012{
013    /** <EMBED CLASS='external-html' DATA-FILE-ID=SVUID> */
014    protected static final long serialVersionUID = 1;
015
016    // Not used anywhere, except by the "create" method below
017    private MarkerEvent(Domains domain, String name)
018    { super(MarkerEventHelper.singleton, domain, name, 0); }
019
020    // Used by package-internal web-sockets processing code to construct a MarkerEvent
021    static MarkerEvent create(final Domains domain, final String shortenedName)
022    { return new MarkerEvent(domain, shortenedName); }
023}