/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitEmptyEx(this);
}
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitInclude(this);
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitInstanceOf(this);
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitTypeDecl(this);
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitIndirectVariable(this);
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitJump(this);
}
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitIndirectStaticMethodCall(this);
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitTryScopeStarts(this);
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitAssignConcat(this);
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitSubprogramEntry(this);
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitNativeAnalyzer(this);
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitExtensionSink(this);
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
throw new NotSupportedException("This node is used only as workaround for testing");
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitStaticField(this);
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitStaticVariable(this);
}
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitAssignOperation(this);
}
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitForeach(this);
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitRefAssign(this);
}
/*
* /// <inheritdoc />
* protected override void extendOutput()
* {
* OutSet.StartTransaction();
* // TODO: Change call handling
* OutSet.ExtendAsCall(_inSet, Flow.CalledObject, Flow.Arguments);
* // OutSet.ExtendAsCall(InSet, Flow.CalledObject, Flow.Arguments);
* }
*/
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitIndirectFunctionCall(this);
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitPseudoConstant(this);
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitConstantDecl(this);
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitConditional(this);
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitFunctionDecl(this);
}
/// <inheritdoc />
internal override void Accept(ProgramPointVisitor visitor)
{
visitor.VisitClassConstPoint(this);
}
