org.ggp.base.util.gdl.grammar.Gdl 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.util.gdl.grammar;

import java.io.ObjectStreamException;
import java.io.Serializable;

@SuppressWarnings("serial")
public abstract class Gdl implements Serializable
{

    public abstract boolean isGround();

    @Override
    public abstract String toString();

    /**
     * This method is used by deserialization to ensure that Gdl objects
     * loaded from an ObjectInputStream or a remote method invocation
     * are the versions that exist in the GdlPool.
     */
    protected Object readResolve() throws ObjectStreamException {
        return GdlPool.immerse(this);
    }

}