javadoc
This commit is contained in:
parent
547f0d276a
commit
e41dc42276
|
@ -12,8 +12,17 @@ package com.ibm.wala.cast.js.html;
|
|||
|
||||
import com.ibm.wala.cast.tree.CAstSourcePositionMap.Position;
|
||||
|
||||
/**
|
||||
* A {@link Position} for source code that has been included in some enclosing
|
||||
* file, e.g., JavaScript code included in an HTML file via a script node.
|
||||
*/
|
||||
public interface IncludedPosition extends Position {
|
||||
|
||||
/**
|
||||
* get the position of the containing script within the enclosing file. E.g.,
|
||||
* for a position in JavaScript code included in an HTML file, returns the
|
||||
* position of the relevant <code><script></code> tag in the HTML
|
||||
*/
|
||||
Position getIncludePosition();
|
||||
|
||||
}
|
||||
|
|
|
@ -15,9 +15,18 @@ import java.net.URL;
|
|||
|
||||
import com.ibm.wala.cast.tree.CAstSourcePositionMap.Position;
|
||||
|
||||
/**
|
||||
* Represents a region of source code, with source locations. Regions can be
|
||||
* added to other {@link SourceRegion}s, with nested source location information
|
||||
* maintained.
|
||||
*/
|
||||
public class SourceRegion {
|
||||
|
||||
private final StringBuilder source = new StringBuilder();
|
||||
|
||||
/**
|
||||
* source location information
|
||||
*/
|
||||
private FileMapping fileMapping;
|
||||
private int currentLine = 1;
|
||||
|
||||
|
|
Loading…
Reference in New Issue