/**
 * Copyright (C) 2012-2013 Selventa, Inc.
 *
 * This file is part of the OpenBEL Framework.
 *
 * This program is free software; you can redistribute it and/or modify it
 * under the terms of the GNU Lesser General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * The OpenBEL Framework is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
 * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
 * License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public License
 * along with the OpenBEL Framework. If not, see <http://www.gnu.org/licenses/>.
 *
 * Additional Terms under LGPL v3:
 *
 * This license does not authorize you and you are prohibited from using the
 * name, trademarks, service marks, logos or similar indicia of Selventa, Inc.,
 * or, in the discretion of other licensors or authors of the program, the
 * name, trademarks, service marks, logos or similar indicia of such authors or
 * licensors, in any marketing or advertising materials relating to your
 * distribution of the program or any covered product. This restriction does
 * not waive or limit your obligation to keep intact all copyright notices set
 * forth in the program as delivered to you.
 *
 * If you distribute the program in whole or in part, or any modified version
 * of the program, and you assume contractual liability to the recipient with
 * respect to the program or modified version, then you will indemnify the
 * authors and licensors of the program for any liabilities that these
 * contractual assumptions directly impose on those licensors and authors.
 */
package org.openbel.framework.core.compiler.expansion;

import java.util.ArrayList;
import java.util.List;

import org.openbel.framework.common.model.Statement;

/**
 * For any terms A, B, and C,
 *
 * A -> (B -> C) implies
 *   A
 *   B -> C
 *
 * @author Anthony Bargnesi {@code <abargnesi@selventa.com>}
 */
class ExtractStatementExpansionRule extends ExpansionRule<Statement> {

    /**
     * {@inheritDoc}
     */
    @Override
    public String getName() {
        return "Extract nested statement expansion rule";
    }

    /**
     * {@inheritDoc}
     */
    @Override
    public boolean match(Statement statement) {
        // returns true if
        // - statement is a nested statement
        // - statement is only nested one level
        Statement.Object object = statement.getObject();
        return statement.hasNestedStatement()
                && object.getStatement().getObject().getTerm() != null;
    }

    /**
     * {@inheritDoc}
     */
    @Override
    public List<Statement> expand(Statement statement) {
        List<Statement> statements = new ArrayList<Statement>();

        // A -> (B -> C) implies A
        Statement definitional = new Statement(statement.getSubject());
        attachExpansionRuleCitation(definitional);
        statements.add(definitional);

        // A -> (B -> C) implies B -> C
        Statement object = statement.getObject().getStatement();
        Statement extracted = new Statement(object.getSubject());
        extracted.setRelationshipType(object.getRelationshipType());
        extracted.setObject(new Statement.Object(object.getObject().getTerm()));
        attachExpansionRuleCitation(extracted);
        statements.add(extracted);

        return statements;
    }
}