fixes for parse errors in JS and HTML
This commit is contained in:
parent
87b856928c
commit
6bb51a6e58
|
@ -0,0 +1,3 @@
|
||||||
|
#$
|
||||||
|
>>> <this is very <<buggy
|
||||||
|
<tag silly="this is not good
|
|
@ -0,0 +1,5 @@
|
||||||
|
<HTML>
|
||||||
|
<SCRIPT language="javascript">
|
||||||
|
this is so not a valid JS program!
|
||||||
|
</SCRIPT>
|
||||||
|
</HTML>
|
|
@ -0,0 +1,19 @@
|
||||||
|
package com.ibm.wala.cast.js.html;
|
||||||
|
|
||||||
|
import java.io.PrintStream;
|
||||||
|
|
||||||
|
import com.ibm.wala.cast.tree.CAstSourcePositionMap.Position;
|
||||||
|
|
||||||
|
public class EmptyFileMapping implements FileMapping {
|
||||||
|
|
||||||
|
@Override
|
||||||
|
public IncludedPosition getIncludedPosition(Position line) {
|
||||||
|
return null;
|
||||||
|
}
|
||||||
|
|
||||||
|
@Override
|
||||||
|
public void dump(PrintStream ps) {
|
||||||
|
ps.println("empty mapping");
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
Loading…
Reference in New Issue