Index

D

DivineNature - Class in Unnamed Package: DivineNature models attributes traditionally predicated of the one divine essence.
DivinePerson - Class in Unnamed Package: DivinePerson models one hypostasis (Person) in Trinitarian theology.
DivinePerson(String, DivineNature) - Constructor for class DivinePerson: Creates a divine Person with a theological name and full possession of the one divine nature.

eternallyBegets(Son) - Method in class Father: Expresses eternal generation: the Father eternally begets the Son.
eternallySpirates(HolySpirit) - Method in class Father: Expresses eternal procession of the Spirit from the Father and the Son in Western (Filioque) doctrinal formulation.
eternallySpirates(HolySpirit) - Method in class Son: Western articulation of eternal procession: the Son, with the Father, spirates the Holy Spirit.

Father - Class in Unnamed Package: Father: first Person in classical Trinitarian naming.

getInstance() - Static method in class DivineNature: Returns the one shared DivineNature instance for the entire model.
getInstance() - Static method in class Father: Returns the one Father instance in this model.
getInstance() - Static method in class HolySpirit: Returns the one Holy Spirit instance in this model.
getInstance() - Static method in class Son: Returns the one Son instance in this model.
getName() - Method in class DivinePerson: Returns the display name of this Person.

HolySpirit - Class in Unnamed Package: HolySpirit: third Person of the Trinity, fully God and distinct Person.

isDistinctPerson() - Method in class DivinePerson: Indicates whether this Person is distinct from the other Persons.
isEternal() - Method in class DivineNature: Indicates whether the modeled divine nature is eternal.
isFullyGod() - Method in class DivinePerson: Indicates whether this Person is fully divine in the model.
isOmnipotent() - Method in class DivineNature: Indicates whether the modeled divine nature is omnipotent.
isOmniscient() - Method in class DivineNature: Indicates whether the modeled divine nature is omniscient.
isSimple() - Method in class DivineNature: Indicates whether the modeled divine nature is simple (non-composite).

main(String[]) - Static method in class TrinityModelApp: Retrieves one shared DivineNature and the three singleton DivinePerson instances.
main(String[]) - Static method in class TrinityModelInvariantTest: Runs executable invariant checks for singleton identity and shared divine nature.

possessesFully() - Method in class DivinePerson: Returns the one divine nature possessed fully by this Person.

relationOfOriginDescription() - Method in class DivinePerson: Returns this Person's relation-of-origin descriptor.
relationOfOriginDescription() - Method in class Father: Provides the Father's relation-of-origin descriptor in this model.
relationOfOriginDescription() - Method in class HolySpirit: Provides the Holy Spirit's relation-of-origin descriptor in this model.
relationOfOriginDescription() - Method in class Son: Provides the Son's relation-of-origin descriptor in this model.

sendsInTime(HolySpirit) - Method in class Father: Temporal mission: the Father sends the Spirit in salvation history.
sendsInTime(HolySpirit) - Method in class Son: Temporal mission: the Son sends the Spirit from the Father.
Son - Class in Unnamed Package: Son: second Person of the Trinity.

TrinityModelApp - Class in Unnamed Package: TrinityModelApp
TrinityModelInvariantTest - Class in Unnamed Package: TrinityModelInvariantTest