edu.williams.cs.ljil.finitizer.actions.recursion.util
Class Copier

java.lang.Object
  edu.williams.cs.ljil.finitizer.actions.recursion.util.Copier

public class Copier
extends java.lang.Object

Author:

shimon A set of utility methods for copying a Step.

Constructor Summary

Copier()

Method Summary

static laser.littlejil.Step

inlineReference(laser.littlejil.Reference refStep) Replaces a reference with a copy of the step being referenced.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Copier

public Copier()

Method Detail

inlineReference

public static laser.littlejil.Step inlineReference(laser.littlejil.Reference refStep)

Replaces a reference with a copy of the step being referenced.

Parameters:

refStep - The reference to replace.

Returns:

A copy of the step that was referenced. On return this step is already attached to the process and the old reference step is removed from the process.