/*
 * Copyright (c) 2005, Regents of the University of California
 * All rights reserved.
 * 
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * * Redistributions of source code must retain the above copyright
 *   notice, this list of conditions and the following disclaimer.
 *
 * * Redistributions in binary form must reproduce the above copyright
 *   notice, this list of conditions and the following disclaimer in
 *   the documentation and/or other materials provided with the
 *   distribution.  
 *
 * * Neither the name of the University of California, Berkeley nor
 *   the names of its contributors may be used to endorse or promote
 *   products derived from this software without specific prior 
 *   written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
 * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
 * OF THE POSSIBILITY OF SUCH DAMAGE.
 */

package blog;

import java.util.*;
import common.Util;

public class RandFuncAppVar extends VarWithDistrib {
    

    public RandFuncAppVar(RandomFunction f, List args) {
	super(args);
	this.f = f;
    }

    

    public RandFuncAppVar(RandomFunction f, Object[] args) {
	super(args);
	this.f = f;
    }

    

    public RandFuncAppVar(RandomFunction f, Object[] args, boolean stable) {
	super(args, stable);
	this.f = f;
    }

    

    public final RandomFunction func() {
	return f;
    }

    

    public Type getType() {
	return f.getRetType();
    }

    public int getOrderingIndex() {
	return f.getDepModel().getCreationIndex();
    }

    public DependencyModel getDepModel() {
	return f.getDepModel();
    }

    public DependencyModel.Distrib getDistrib(EvalContext context) {
	context.pushEvaluee(this);
	DependencyModel depModel = f.getDepModel();
	if (depModel == null) {
	    Util.fatalErrorWithoutStack
		("Can't get distribution for random variable because function " 
		 + f.getSig() + " has no dependency statement.");
	}

	DependencyModel.Distrib distrib = depModel.getDistribWithBinding
	    (context, f.getArgVars(), args(), Model.NULL);
	context.popEvaluee();
	return distrib;
    }

    public FuncAppTerm getCanonicalTerm(Map logicalVarForObj) {
	List argTerms = new ArrayList();
	for (int i = 0; i < args.length; ++i) {
	    Object arg = args[i];
	    Term term = (LogicalVar) logicalVarForObj.get(arg);
	    if (term == null) {
		if (arg instanceof ObjectIdentifier) {
		    throw new IllegalArgumentException
			("No logical variable specified for object identifier "
			 + arg);
		}
		term = f.getArgTypes()[i].getCanonicalTerm(arg);
		if (term == null) {
		    throw new UnsupportedOperationException
			("Can't get canonical term for object " + arg 
			 + " of type " + f.getArgTypes()[i]);
		}
	    }
	    argTerms.add(term);
	}
	return new FuncAppTerm(f, argTerms);
    }

    public Object clone() {
	return new RandFuncAppVar(f, args);
    }

    

    public boolean equals(Object obj) {
	if (obj instanceof RandFuncAppVar) {
	    RandFuncAppVar other = (RandFuncAppVar) obj;
	    return ((f == other.func()) 
		    && Arrays.equals(args, other.args()));
	}
	return false;
    }
		
    public int hashCode() {
        int code = f.hashCode();
        for (int i = 0; i < args.length; ++i) {
            code ^= args[i].hashCode();
        }
	return code;
    }

    public String toString() {
	if (args.length == 0) {
	    return f.toString();
	}

	StringBuffer buf = new StringBuffer();
	buf.append(f);
	buf.append("(");
	buf.append(args[0]);
	for (int i = 1; i < args.length; ++i) {
	    buf.append(", ");
	    buf.append(args[i]);
	}
	buf.append(")");
	return buf.toString();
    }	

    private RandomFunction f;
}

This file was generated on Tue Jun 08 17:53:36 PDT 2010 from file RandFuncAppVar.java
by the ilog.language.tools.Hilite Java tool written by Hassan Aït-Kaci