internal virtual void init(int hashCode, ATermList annos, AFun fun, ATerm[] i_args)
{
base.init(hashCode, annos);
this.fun = fun;
this.args = new ATerm[fun.getArity()];
for (int i = 0; i < fun.getArity(); i++)
{
this.args[i] = i_args[i];
}
}
internal virtual void init(int hashCode, ATermList annos, AFun fun, ATerm[] i_args)
{
base.init(hashCode, annos);
this.fun = fun;
this.args = new ATerm[fun.getArity()];
for(int i=0; i<fun.getArity(); i++)
{
this.args[i] = i_args[i];
}
}
internal override bool match(ATerm pattern, ArrayList list)
{
if (this.equals(pattern))
{
return(true);
}
if (pattern.getType() == ATermType.PLACEHOLDER)
{
ATerm type = ((ATermPlaceholder)pattern).getPlaceholder();
if (type.getType() == ATermType.APPL)
{
ATermAppl appl = (ATermAppl)type;
AFun afun = appl.getAFun();
if (afun.getName().Equals("blob") &&
afun.getArity() == 0 &&
!afun.isQuoted())
{
list.Add(data);
return(true);
}
}
}
return(base.match(pattern, list));
}
public override bool equivalent(SharedObject obj)
{
try
{
AFun peer = (AFun)obj;
return(peer.getName() == name &&
peer.getArity() == arity &&
peer.isQuoted() == _isQuoted);
}
catch (InvalidCastException)
{
return(false);
}
}
public override void visitAppl(ATermAppl appl) // throws VisitFailure
{
AFun fun = appl.getAFun();
string name = fun.ToString();
stream.Write(name);
position += name.Length;
if (fun.getArity() > 0 || name.Equals(""))
{
stream.Write('(');
position++;
for (int i = 0; i < fun.getArity(); i++)
{
if (i != 0)
{
stream.Write(',');
position++;
}
visitChild(appl.getArgument(i));
}
stream.Write(')');
position++;
}
}
private bool isListPlaceHolder(ATerm pattern)
{
if (pattern.getType() == ATermType.PLACEHOLDER)
{
ATerm type = ((ATermPlaceholder)pattern).getPlaceholder();
if (type.getType() == ATermType.APPL)
{
ATermAppl appl = (ATermAppl)type;
AFun afun = appl.getAFun();
if (afun.getName().Equals("list") && afun.getArity() == 0 && !afun.isQuoted())
{
return(true);
}
}
}
return(false);
}
internal virtual bool match(ATerm pattern, ArrayList list)
{
if (pattern.getType() == ATermType.PLACEHOLDER)
{
ATerm type = ((ATermPlaceholder)pattern).getPlaceholder();
if (type.getType() == ATermType.APPL)
{
ATermAppl appl = (ATermAppl)type;
AFun afun = appl.getAFun();
if (afun.getName().Equals("term") && afun.getArity() == 0 && !afun.isQuoted())
{
list.Add(this);
return(true);
}
}
}
return(false);
}
