Record Class Ds2SemanticProgram

java.lang.Object
java.lang.Record
name.jurgenei.gradle.antlr.semantic.Ds2SemanticProgram
Record Components:
languageId - language identifier.
sourcePath - source-relative path.
methodNames - detected DS2 method names.
declarationNames - detected declaration entries formatted as type name.
methodCallEdges - detected call edges formatted as caller->callee.
procDs2BlockCount - number of proc ds2 blocks.
dataBlockNames - detected data-block names.
packageBlockNames - detected package-block names.
threadBlockNames - detected thread-block names.
setFromSources - detected set from sources.
All Implemented Interfaces:
SemanticProgram

public record Ds2SemanticProgram(String languageId, String sourcePath, List<String> methodNames, List<String> declarationNames, List<String> methodCallEdges, int procDs2BlockCount, List<String> dataBlockNames, List<String> packageBlockNames, List<String> threadBlockNames, List<String> setFromSources) extends Record implements SemanticProgram
DS2-specific semantic summary for early incremental support.
  • Constructor Details

  • Method Details

    • toString

      public final String toString()
      Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.
      Specified by:
      toString in class Record
      Returns:
      a string representation of this object
    • hashCode

      public final int hashCode()
      Returns a hash code value for this object. The value is derived from the hash code of each of the record components.
      Specified by:
      hashCode in class Record
      Returns:
      a hash code value for this object
    • equals

      public final boolean equals(Object o)
      Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. Reference components are compared with Objects::equals(Object,Object); primitive components are compared with '=='.
      Specified by:
      equals in class Record
      Parameters:
      o - the object with which to compare
      Returns:
      true if this object is the same as the o argument; false otherwise.
    • languageId

      public String languageId()
      Returns the value of the languageId record component.
      Specified by:
      languageId in interface SemanticProgram
      Returns:
      the value of the languageId record component
    • sourcePath

      public String sourcePath()
      Returns the value of the sourcePath record component.
      Specified by:
      sourcePath in interface SemanticProgram
      Returns:
      the value of the sourcePath record component
    • methodNames

      public List<String> methodNames()
      Returns the value of the methodNames record component.
      Returns:
      the value of the methodNames record component
    • declarationNames

      public List<String> declarationNames()
      Returns the value of the declarationNames record component.
      Returns:
      the value of the declarationNames record component
    • methodCallEdges

      public List<String> methodCallEdges()
      Returns the value of the methodCallEdges record component.
      Returns:
      the value of the methodCallEdges record component
    • procDs2BlockCount

      public int procDs2BlockCount()
      Returns the value of the procDs2BlockCount record component.
      Returns:
      the value of the procDs2BlockCount record component
    • dataBlockNames

      public List<String> dataBlockNames()
      Returns the value of the dataBlockNames record component.
      Returns:
      the value of the dataBlockNames record component
    • packageBlockNames

      public List<String> packageBlockNames()
      Returns the value of the packageBlockNames record component.
      Returns:
      the value of the packageBlockNames record component
    • threadBlockNames

      public List<String> threadBlockNames()
      Returns the value of the threadBlockNames record component.
      Returns:
      the value of the threadBlockNames record component
    • setFromSources

      public List<String> setFromSources()
      Returns the value of the setFromSources record component.
      Returns:
      the value of the setFromSources record component