public override void VisitPointerAddition(PointerAddition pa)
{
throw new NotImplementedException();
}
public void VisitPointerAddition(PointerAddition padd)
{
throw new NotImplementedException();
}
public void VisitPointerAddition(PointerAddition pa)
{
writer.Write("PTRADD(");
WriteExpression(pa.Pointer);
writer.Write(",{0})", pa.Offset);
}
public Expression VisitPointerAddition(PointerAddition pa)
{
throw new NotImplementedException();
}
public DataType VisitPointerAddition(PointerAddition pa)
{
throw new NotImplementedException();
}
public virtual Expression VisitPointerAddition(PointerAddition pa)
{
return(pa);
}
public BitRange VisitPointerAddition(PointerAddition pa)
{
throw new NotImplementedException();
}
public SlicerResult VisitPointerAddition(PointerAddition pa, BackwardSlicerContext ctx)
{
throw new NotImplementedException();
}
public void VisitPointerAddition(PointerAddition pa)
{
InnerFormatter.Write("PTRADD(");
WriteExpression(pa.Pointer);
InnerFormatter.Write(",{0})", pa.Offset);
}
public virtual void VisitPointerAddition(PointerAddition pa)
{
pa.Pointer.Accept(this);
}
public bool VisitPointerAddition(PointerAddition pa, TypeVariable tv)
{
throw new NotImplementedException();
}
public Result VisitPointerAddition(PointerAddition pa)
{
throw new NotImplementedException();
}
public override void VisitPointerAddition(PointerAddition pa)
{
throw new NotImplementedException();
}
public ValueSet VisitPointerAddition(PointerAddition pa, BitRange bitRange)
{
throw new NotImplementedException();
}
public void VisitPointerAddition(PointerAddition padd)
{
throw new NotImplementedException();
}
public virtual Expression VisitPointerAddition(PointerAddition pa)
{
return(new PointerAddition(pa.DataType, pa.Pointer.Accept(this), pa.Offset));
}
public virtual void VisitPointerAddition(PointerAddition pa)
{
pa.Pointer.Accept(this);
}
public bool VisitPointerAddition(PointerAddition pa) => pa.Pointer.Accept(this);
