se.chalmers.cs.gf.linearize.gfvalue
Class WrapStr

java.lang.Object
  se.chalmers.cs.gf.linearize.gfvalue.WrapStr

public class WrapStr
extends java.lang.Object

Constructor Summary

WrapStr()

Method Summary

static Value

wrap(Value v, java.lang.String before, java.lang.String after)

Methods inherited from class java.lang.Object

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

Constructor Detail

WrapStr

public WrapStr()

Method Detail

wrap

public static Value wrap(Value v,
                         java.lang.String before,
                         java.lang.String after)