Willie-Sue, February 15, 1985 6:27:02 pm PST

DB, IO, Rope, ViewerIO;

IMPORTS DB, IO, Rope, ViewerIO =

friendOf, friendIs: Attribute;

phoneOf, phoneIs: Attribute;

BEGIN

tty.Put[rope["Defining data dictionary..."], char[CR]];

Declare domains and make Persons and Frogs be subtypes of Things:

Person← DeclareDomain["Person", mySeg];

Thing← DeclareDomain["Thing", mySeg];

Frog← DeclareDomain["Frog", mySeg];

DeclareSubType[of: Thing, is: Person];

DeclareSubType[of: Thing, is: Frog];

Declare phone age and height property of Things

ageProp← DeclareProperty["Age", Thing, IntType, mySeg];

heightProp← DeclareProperty["Height", Thing, RopeType, mySeg];

Declare Friend relation between Persons

Friend← DeclareRelation["Friend", mySeg];

Declare Phone relation between Persons and integers

Phone← DeclareRelation["Phone", mySeg];

[]← DeclareIndex[Phone, LIST[phoneIs], NewOrOld];

END;

BEGIN t: Relship; rick: Entity;

tty.Put[rope["Creating data..."], char[CR]];

harry← DeclareEntity[Person, "Harry Q. Bovik"];

mark← DeclareEntity[Person, "Mark Brown"];

rick← DeclareEntity[Person, myName];

nori← DeclareEntity[Person]; ChangeName[nori, "Nori Suzuki"];

Data can be assigned with SetP, SetF, or DeclareRelship's initialization list:

[]← SetP[harry, phoneIs, I2V[4999]];

[]← SetP[mark, phoneIs, I2V[4464]];

[]← SetP[nori, phoneIs, I2V[4425]];

[]← SetP[rick, phoneIs, I2V[4466]];

[]← SetP[rick, heightProp, S2V["medium"]];

t← DeclareRelship[Friend]; SetF[t, friendOf, rick]; SetF[t, friendIs, harry];

[]← DeclareRelship[Friend, LIST[[friendOf, nori], [friendIs, harry]]];

END;

BEGIN t: Relship; rick: Entity; ok: BOOL← FALSE;

tty.Put[rope["\nCreating more data..."], char[CR]];

Create some new entities and fetch old one (rick)

wsh← DeclareEntity[Person];

rick← DeclareEntity[Person, "Rick Cattell", OldOnly];

rock← DeclareEntity[Thing, "Harry the rock"];

pebble← DeclareEntity[Thing, "Fred the pebble"];

george← DeclareEntity[Frog, "George the frog"];

[]← DeclareEntity[Frog, "Larry the frog"];

Use SetP to assign names and heights

ChangeName[wsh, "Willie-Sue H"];

[]← SetP[wsh, heightProp, S2V["medium"]];

[]← SetP[mark, heightProp, S2V["taller"]];

[]← SetP[rock, heightProp, S2V["big"]];

[]← SetP[pebble, heightProp, S2V["little"]];

[]← SetP[george, heightProp, S2V["little"]];

Check that Person can't be friend of frog

t← DeclareRelship[Friend];

SetF[t, friendOf, rick];

SetF[t, friendIs, george ! DB.Error =>

IF NOT ok THEN ERROR;

END;

Destroy one person entity and all frog entities

BEGIN flag: BOOL← FALSE;

tty.Put[char[CR], rope["Deleting some data: Rick and all the frogs..."], char[CR]];

DestroyEntity[DeclareEntity[Person, "Rick Cattell", OldOnly]];

DestroyDomain[Frog];

END;

Use DomainSubset with no constraints to enumerate all Persons

BEGIN

person: -- PersonDomain -- Entity;

es: EntitySet;

lint: LONG INTEGER;

tty.PutF["\nPerson Domain:\n\n"];

es← DomainSubset[Person];

WHILE (person← NextEntity[es])#NIL DO

ReleaseEntitySet[es];

END;

Use DomainSubset to enumerate all Things (includes Frogs and Persons).

Print "unknown" if height field is null string.

BEGIN

thing: -- Thing -- Entity;

es: EntitySet;

r: ROPE;

tty.PutF["\nThings:\n\n"];

tty.PutF["Type Name  Height\n"];

es← DomainSubset[Thing];

WHILE (thing← NextEntity[es])#NIL DO

ReleaseEntitySet[es];

END;

Use RelationSubset to enumerate phones between 4400 and 4500

BEGIN

rs: RelshipSet; r: Relship;

tty.PutF["\nPhone numbers between 4400 and 4499:\n"];

tty.PutF["Name Phone\n"];

rs← RelationSubset[Phone, LIST[[phoneIs, I2V[4400], I2V[4499]]], Last];

UNTIL (r← PrevRelship[rs])=NIL DO

ReleaseRelshipSet[rs];

END;

Use RelationSubset to enumerate friends of Harry

BEGIN

friendRS: --Friend-- Relship;

friendName: --Person-- ROPE;

rs: RelshipSet;

tty.Put[char[CR], rope["Harry's friends:"], char[CR]];

rs← RelationSubset[Friend, LIST[[friendIs, harry]]];

WHILE (friendRS← NextRelship[rs])#NIL DO

ReleaseRelshipSet[rs];

END;

[in, tty]← ViewerIO.CreateViewerStreams["VLTest1Impl.log"];

tty.PutF["Creating database...\n"];

DB.Initialize[];

DB.DeclareSegment["[Luther.Alpine]<Cattell.pa>Test.segment", mySeg];

DB.EraseSegment[mySeg];

Initialize[];

tty.PutF["Type a character to proceed...\n"];

[]← in.GetChar[];

InsertData[];

PrintPeople[];

PrintCSLPhones[];

PrintFriends[];

InsertMoreData[];

PrintEverything[];

DestroySomeData[];

PrintEverything[];

tty.PutF["\n\nDone.\n"];

CloseTransaction[TransactionOf[mySeg]];

};