All Downloads are FREE. Search and download functionalities are using the official Maven repository.

astra.ast.term.ModuleTerm Maven / Gradle / Ivy

There is a newer version: 1.4.3
Show newest version
package astra.ast.term;

import astra.ast.core.AbstractElement;
import astra.ast.core.IElementVisitor;
import astra.ast.core.ITerm;
import astra.ast.core.IType;
import astra.ast.core.ParseException;
import astra.ast.core.Token;
import astra.ast.formula.PredicateFormula;

public class ModuleTerm extends AbstractElement implements ITerm {
	PredicateFormula method;
	String module;
	IType type;
	
	public ModuleTerm(String module, PredicateFormula method, Token start, Token end, String source) {
		super(start, end, source);
		this.module = module;
		this.method = method;
	}

	public PredicateFormula method() {
		return method;
	}

	public Object accept(IElementVisitor visitor, Object data) throws ParseException {
		return visitor.visit(this, data);
	}

	public String module() {
		return module;
	}
	
	public String toString() {
		return module + "." + method;
	}

	public void setType(IType type) {
		this.type = type;
	}
	
	public IType type() {
		return type;
	}
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy