Interface PrologPackage

  • All Superinterfaces:
    EModelElement, ENamedElement, EObject, EPackage, Notifier
    All Known Implementing Classes:
    PrologPackageImpl

    public interface PrologPackage
    extends EPackage
    The Package for the model. It contains accessors for the meta objects to represent
    • each class,
    • each feature of each class,
    • each enum,
    • and each data type
    See Also:
    PrologFactory
    Generated class or method.
    EMF model class or method.
    kind="package" annotation="http://www.eclipse.org/emf/2002/Ecore validationDelegates='http://www.eclipse.org/emf/2002/Ecore/OCL'"
    • Method Detail

      • getProgram

        EClass getProgram()
        Returns the meta object for class 'Program'.
        Returns:
        the meta object for class 'Program'.
        See Also:
        Program
        Generated class or method.
      • getProgram_Clauses

        EReference getProgram_Clauses()
        Returns the meta object for the containment reference list 'Clauses'.
        Returns:
        the meta object for the containment reference list 'Clauses'.
        See Also:
        Program.getClauses(), getProgram()
        Generated class or method.
      • getClause

        EClass getClause()
        Returns the meta object for class 'Clause'.
        Returns:
        the meta object for class 'Clause'.
        See Also:
        Clause
        Generated class or method.
      • getComment

        EClass getComment()
        Returns the meta object for class 'Comment'.
        Returns:
        the meta object for class 'Comment'.
        See Also:
        Comment
        Generated class or method.
      • getTerm

        EClass getTerm()
        Returns the meta object for class 'Term'.
        Returns:
        the meta object for class 'Term'.
        See Also:
        Term
        Generated class or method.
      • getCompoundTerm

        EClass getCompoundTerm()
        Returns the meta object for class 'Compound Term'.
        Returns:
        the meta object for class 'Compound Term'.
        See Also:
        CompoundTerm
        Generated class or method.
      • getAtomicNumber

        EClass getAtomicNumber()
        Returns the meta object for class 'Atomic Number'.
        Returns:
        the meta object for class 'Atomic Number'.
        See Also:
        AtomicNumber
        Generated class or method.
      • getAtomicDouble

        EClass getAtomicDouble()
        Returns the meta object for class 'Atomic Double'.
        Returns:
        the meta object for class 'Atomic Double'.
        See Also:
        AtomicDouble
        Generated class or method.
      • getAtomicQuotedString

        EClass getAtomicQuotedString()
        Returns the meta object for class 'Atomic Quoted String'.
        Returns:
        the meta object for class 'Atomic Quoted String'.
        See Also:
        AtomicQuotedString
        Generated class or method.
      • getList

        EClass getList()
        Returns the meta object for class 'List'.
        Returns:
        the meta object for class 'List'.
        See Also:
        List
        Generated class or method.
      • getList_Heads

        EReference getList_Heads()
        Returns the meta object for the containment reference list 'Heads'.
        Returns:
        the meta object for the containment reference list 'Heads'.
        See Also:
        List.getHeads(), getList()
        Generated class or method.
      • getList_Tails

        EReference getList_Tails()
        Returns the meta object for the containment reference list 'Tails'.
        Returns:
        the meta object for the containment reference list 'Tails'.
        See Also:
        List.getTails(), getList()
        Generated class or method.
      • getFact

        EClass getFact()
        Returns the meta object for class 'Fact'.
        Returns:
        the meta object for class 'Fact'.
        See Also:
        Fact
        Generated class or method.
      • getFact_Head

        EReference getFact_Head()
        Returns the meta object for the containment reference 'Head'.
        Returns:
        the meta object for the containment reference 'Head'.
        See Also:
        Fact.getHead(), getFact()
        Generated class or method.
      • getRule

        EClass getRule()
        Returns the meta object for class 'Rule'.
        Returns:
        the meta object for class 'Rule'.
        See Also:
        Rule
        Generated class or method.
      • getRule_Head

        EReference getRule_Head()
        Returns the meta object for the containment reference 'Head'.
        Returns:
        the meta object for the containment reference 'Head'.
        See Also:
        Rule.getHead(), getRule()
        Generated class or method.
      • getRule_Body

        EReference getRule_Body()
        Returns the meta object for the containment reference 'Body'.
        Returns:
        the meta object for the containment reference 'Body'.
        See Also:
        Rule.getBody(), getRule()
        Generated class or method.
      • getControlPredicate

        EClass getControlPredicate()
        Returns the meta object for class 'Control Predicate'.
        Returns:
        the meta object for class 'Control Predicate'.
        See Also:
        ControlPredicate
        Generated class or method.
      • getTrue

        EClass getTrue()
        Returns the meta object for class 'True'.
        Returns:
        the meta object for class 'True'.
        See Also:
        True
        Generated class or method.
      • getFalse

        EClass getFalse()
        Returns the meta object for class 'False'.
        Returns:
        the meta object for class 'False'.
        See Also:
        False
        Generated class or method.
      • getFail

        EClass getFail()
        Returns the meta object for class 'Fail'.
        Returns:
        the meta object for class 'Fail'.
        See Also:
        Fail
        Generated class or method.
      • getCut

        EClass getCut()
        Returns the meta object for class 'Cut'.
        Returns:
        the meta object for class 'Cut'.
        See Also:
        Cut
        Generated class or method.
      • getPrologFactory

        PrologFactory getPrologFactory()
        Returns the factory that creates the instances of the model.
        Returns:
        the factory that creates the instances of the model.
        Generated class or method.