edu.uiowa.cs.clc.kind2.api

Class ApiUtil

java.lang.Object

edu.uiowa.cs.clc.kind2.api.ApiUtil

public class ApiUtil
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ApiUtil()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	getQuotedCommand(java.util.List<java.lang.String> pieces)
static java.lang.String	readAll(java.io.InputStream inputStream)
static java.io.File	writeInterpreterFile(java.lang.String program)
static java.io.File	writeLustreFile(java.lang.String program)
static java.io.File	writeTempFile(java.lang.String fileName, java.lang.String fileExt, java.lang.String contents)

Methods inherited from class java.lang.Object

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

Constructor Detail

ApiUtil

public ApiUtil()

Method Detail

writeLustreFile

public static java.io.File writeLustreFile(java.lang.String program)

writeInterpreterFile

public static java.io.File writeInterpreterFile(java.lang.String program)

writeTempFile

public static java.io.File writeTempFile(java.lang.String fileName,
                                         java.lang.String fileExt,
                                         java.lang.String contents)

readAll

public static java.lang.String readAll(java.io.InputStream inputStream)
                                throws java.io.IOException

Throws:

java.io.IOException

getQuotedCommand

public static java.lang.String getQuotedCommand(java.util.List<java.lang.String> pieces)