Ausdrücke auswerten

[kiotoqq]

Seien Point p; Line l; lokale Variable.
-> p.x hat den Typ int,

grammatik sagt ja:
FieldAccess = Expression "." Identifier
der Ausdruck hat dann denselben typ wie Identifier

dann muss es hier ja heißen, dass x den typ int hat. aber warum hat p.x den typ int?

 

[njans]

Weil x eine Instanzvariable ist, die Point-Objekte besitzen.

 

[kiotoqq]

warum ist l.length() syntaktisch und typkorrekt? length ist doch gar nicht definiert

 

[Final_Striker]

Was für eine Klasse ist denn Line?

 

[kiotoqq]

ist Line nicht schon eine Klasse?

 

[kiotoqq]

gegeben sei der Zustand (sigma, eta) mit
sigma=[(i,3), (p, @123), (l, @789)]
eta={<(@123, Point), [(x,2),(y,4)]>, <(@456, Point), [(x,0), (y,0)]>, <(@789, Line), [(start, @123), (end, @456)]>}

für l.length() steht:
=@789.length (das verstehe ich, steht ja hinter sigma für l)
=wurzel(2*2+4*4)
das verstehe ich nicht, woher kommt diese Rechnung?

 

[njans]

Ich sehe da keinen Zusammenhang mit Java mehr. Am Anfang war deine Frage bezogen auf eine Klasse und ihre Variablen.
Jetzt wirfst du uns mit Auszügen aus einem Übungsblatt zu, indem ominöse Zustände definiert werden.
Dazu werden dir hier 99% der Leute nichts sagen können, da wir keine Ahnung haben warum es da geht.

Jedenfalls sehe ich da keinen Bezug zu Java mehr und wenn du das nicht etwas erleuchten kannst, dann kann man dir nicht helfen.

 

[kiotoqq]

es heiß doch, ein Zustand (sigma, eta) besteht aus:
einem Stack (Keller) sigma für die lokalen Variablen und
einem Heap (Halde) eta für die aktuell existierenden Objekte

z.b. (p==q)= false

ich kann das Beispiel aber nicht auf die aufgabe anwenden.

die Aufgabenstellung lautet hier: werten Sie syntaktisch korrekte und typkorrekte Ausdrücke bzgl. dieses Zustands aus.

 

[njans]

Wenn man da etwas substituiert, dann kommt man eben darauf, dass die Line von Point @123 bis @456 geht. Also von [2,4] bis [0,0]. Dabei ist dann wurzel(2*2+4*4) dann der Pythagoras und gibt die Länge die Distanz zwischen den zwei Punkte aus, also die Länge der Linie.