org.ggp.base.server.event.ServerMatchUpdatedEvent Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of alloy-ggp-base Show documentation

A modified version of the GGP-Base library for Alloy.

The newest version!

package org.ggp.base.server.event;

import org.ggp.base.util.match.Match;
import org.ggp.base.util.observer.Event;

public final class ServerMatchUpdatedEvent extends Event {
    private final Match match;
    private final String externalPublicationKey;
    private final String externalFilename;

    public ServerMatchUpdatedEvent(Match match, String externalPublicationKey, String externalFilename) {
        this.match = match;
        this.externalFilename = externalFilename;
        this.externalPublicationKey = externalPublicationKey;
    }

    public Match getMatch() {
        return match;
    }

    public String getExternalFilename() {
        return externalFilename;
    }

    public String getExternalPublicationKey() {
        return externalPublicationKey;
    }

    @Override
    public String toString() {
        return "Server match updated event: " + match.getMatchId();
    }
}