Class PrologAtom

    • Constructor Detail

      • PrologAtom

        public PrologAtom​(java.lang.String text,
                          Quotation quotingType)
      • PrologAtom

        public PrologAtom​(java.lang.String text)
      • PrologAtom

        public PrologAtom​(PrologTerm term)
      • PrologAtom

        public PrologAtom​(java.lang.String text,
                          int line,
                          int pos)
      • PrologAtom

        public PrologAtom​(java.lang.String text,
                          Quotation quotingType,
                          int line,
                          int pos)
    • Method Detail

      • getQuotation

        public Quotation getQuotation()
        Description copied from class: PrologTerm
        Get quotation for the term.
        Overrides:
        getQuotation in class PrologTerm
        Returns:
        the quotation for the term, must not be null
      • getType

        public TermType getType()
        Description copied from class: PrologTerm
        Get term type.
        Specified by:
        getType in class PrologTerm
        Returns:
        term type, must not be null
      • getPrecedence

        public int getPrecedence()
        Description copied from class: PrologTerm
        Get precedence of the term.
        Overrides:
        getPrecedence in class PrologTerm
        Returns:
        precedence, must not be negative