org.ggp.base.validator.OPNFValidator 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.validator;

import java.util.List;

import org.ggp.base.util.game.Game;
import org.ggp.base.util.propnet.factory.OptimizingPropNetFactory;

import com.google.common.collect.ImmutableList;

public final class OPNFValidator implements GameValidator
{
    @Override
    public List checkValidity(Game theGame) throws ValidatorException {
//        PrintStream stdout = System.out;
//        System.setOut(new PrintStream(new ByteArrayOutputStream()));
        try {
            if (OptimizingPropNetFactory.create(theGame.getRules(), true) == null) {
                throw new ValidatorException("Got null result from OPNF");
            }
        } catch (Exception e) {
            e.printStackTrace();
            throw new ValidatorException("OPNF Exception: " + e, e);
        } finally {
//	        System.setOut(stdout);
        }
        return ImmutableList.of();
    }
}