Class EmptyFileMapping

  • All Implemented Interfaces:
    FileMapping

    public class EmptyFileMapping
    extends java.lang.Object
    implements FileMapping
    • Constructor Detail

      • EmptyFileMapping

        public EmptyFileMapping()
    • Method Detail

      • getIncludedPosition

        public IncludedPosition getIncludedPosition​(com.ibm.wala.cast.tree.CAstSourcePositionMap.Position line)
        Specified by:
        getIncludedPosition in interface FileMapping
        Returns:
        Null if no mapping for the given line.