Package org.smtlib

Interface IPos

All Known Implementing Classes:
Pos
public interface IPos
This is an interface that supplies information about a range in textual position within a source of characters.
Author:
David R. Cok

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static interface 
    IPos.IPosable
    This interface identifies classes that can have their position set

  • Method Summary

    Modifier and Type
    Method
    Description
    int
    charEnd()
    One beyond the last position of the character sequence range (0-based).
    int
    charStart()
    The starting position within the character sequence (0-based)
    ISource
    source()
    Returns the source object containing the characters

  • Method Details

    • source

      ISource source()
      Returns the source object containing the characters

    • charStart

      int charStart()
      The starting position within the character sequence (0-based)

    • charEnd

      int charEnd()
      One beyond the last position of the character sequence range (0-based).