org.jmlspecs.jml2.util
Class Util

java.lang.Object
  org.jmlspecs.jml2.util.Util

public class Util
extends java.lang.Object

Constructor Summary

Util()

Method Summary

static java.lang.String	exec(java.lang.String[] cmd)
static int	getSourceEndOfLine(int[] lineEnds, int line)
static int	getSourceStart(int[] lineEnds, int line, int column)
static int	getSourceStartOfLine(int[] lineEnds, int line)
static java.lang.String	projectRawPathOf(java.lang.String fileName)
static java.lang.String	translatePath(java.lang.String fileName)

Methods inherited from class java.lang.Object

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

Constructor Detail

Util

public Util()

Method Detail

translatePath

public static java.lang.String translatePath(java.lang.String fileName)

exec

public static java.lang.String exec(java.lang.String[] cmd)

getSourceStart

public static int getSourceStart(int[] lineEnds,
                                 int line,
                                 int column)

getSourceStartOfLine

public static int getSourceStartOfLine(int[] lineEnds,
                                       int line)

getSourceEndOfLine

public static int getSourceEndOfLine(int[] lineEnds,
                                     int line)

projectRawPathOf

public static java.lang.String projectRawPathOf(java.lang.String fileName)