Package it.unive.lisa.program

Class SyntheticLocation

  • All Implemented Interfaces:
    CodeLocation, java.lang.Comparable<CodeLocation>
    public class SyntheticLocation
extends java.lang.Object
implements CodeLocation
    A synthetic code location.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static SyntheticLocation INSTANCE
      Singleton instance of the synthetic location.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int compareTo​(CodeLocation o)  
      java.lang.String getCodeLocation()
      Yields the string code location representation.

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • INSTANCE

        public static final SyntheticLocation INSTANCE
        Singleton instance of the synthetic location.

    • Method Detail

      • getCodeLocation

        public java.lang.String getCodeLocation()
        Description copied from interface: CodeLocation
        Yields the string code location representation.
        Specified by:
        getCodeLocation in interface CodeLocation
        Returns:
        the string code location representation

      • compareTo

        public int compareTo​(CodeLocation o)
        Specified by:
        compareTo in interface java.lang.Comparable<CodeLocation>