Package com.ibm.wala.cast.js.html

Class WebUtil

java.lang.Object

com.ibm.wala.cast.js.html.WebUtil

public class WebUtil
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final String	preamble

Constructor Summary

Constructors

Constructor	Description
WebUtil()

Method Summary

Modifier and Type	Method	Description
static Pair<Set<MappedSourceModule>,File>	extractScriptFromHTML(URL url, Supplier<JSSourceExtractor> fSourceExtractor)
static Pair<Set<MappedSourceModule>,File>	extractScriptFromHTML(URL url, Supplier<JSSourceExtractor> fSourceExtractor, Reader r)
static Reader	getStream(URL url)
static void	main(String[] args)
static void	setFactory(IHtmlParserFactory factory)

Methods inherited from class java.lang.Object

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

Field Details

preamble

public static final String preamble

See Also:

• Constant Field Values

Constructor Details

WebUtil

public WebUtil()

Method Details

setFactory

public static void setFactory(IHtmlParserFactory factory)

extractScriptFromHTML

public static Pair<Set<MappedSourceModule>,File> extractScriptFromHTML(URL url,
 Supplier<JSSourceExtractor> fSourceExtractor)
                                                                throws TranslatorToCAst.Error

Throws:

TranslatorToCAst.Error

extractScriptFromHTML

public static Pair<Set<MappedSourceModule>,File> extractScriptFromHTML(URL url,
 Supplier<JSSourceExtractor> fSourceExtractor,
 Reader r)
                                                                throws TranslatorToCAst.Error

Returns:

a pair (S,F), where S is a set of extracted sources, and F is the temp file holding the combined sources (or null if no such file exists)

Throws:

TranslatorToCAst.Error

main

public static void main(String[] args)
                 throws MalformedURLException,
TranslatorToCAst.Error

Throws:

MalformedURLException

TranslatorToCAst.Error

getStream

public static Reader getStream(URL url)
                        throws IOException

Throws:

IOException