Class VirtualEdgesSummaries.AbstractParameterMapping

    • Constructor Detail

      • AbstractParameterMapping

        public AbstractParameterMapping()
    • Method Detail

      • getMappedSourceArgumentArg

        public abstract Value getMappedSourceArgumentArg​(InvokeExpr expr)
      • getMappedTargetArgumentArg

        public abstract Value getMappedTargetArgumentArg​(Body body)