Class WebUtil


  • public class WebUtil
    extends java.lang.Object
    • Constructor Detail

      • WebUtil

        public WebUtil()
    • Method Detail

      • extractScriptFromHTML

        public static com.ibm.wala.util.collections.Pair<java.util.Set<MappedSourceModule>,​java.io.File> extractScriptFromHTML​(java.net.URL url,
                                                                                                                                     java.util.function.Supplier<JSSourceExtractor> fSourceExtractor)
                                                                                                                              throws com.ibm.wala.cast.ir.translator.TranslatorToCAst.Error
        Throws:
        com.ibm.wala.cast.ir.translator.TranslatorToCAst.Error
      • extractScriptFromHTML

        public static com.ibm.wala.util.collections.Pair<java.util.Set<MappedSourceModule>,​java.io.File> extractScriptFromHTML​(java.net.URL url,
                                                                                                                                     java.util.function.Supplier<JSSourceExtractor> fSourceExtractor,
                                                                                                                                     java.io.Reader r)
                                                                                                                              throws com.ibm.wala.cast.ir.translator.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:
        com.ibm.wala.cast.ir.translator.TranslatorToCAst.Error
      • main

        public static void main​(java.lang.String[] args)
                         throws java.net.MalformedURLException,
                                com.ibm.wala.cast.ir.translator.TranslatorToCAst.Error
        Throws:
        java.net.MalformedURLException
        com.ibm.wala.cast.ir.translator.TranslatorToCAst.Error
      • getStream

        public static java.io.Reader getStream​(java.net.URL url)
                                        throws java.io.IOException
        Throws:
        java.io.IOException