0
インスタンス変数でこの問題が発生しました。彼らは初期化されませんし、私は正確に何かを確信しています。私のクラスごとに同じです。私は以下のコードのいずれかを掲示:インスタンス変数が初期化されていません。何故ですか?
class Good
types
public evalGood ::
good : Good
price : nat1;
instance variables
private owner : Seller;
private startPrice : nat1;
private description : seq of char
operations
public getStartPrice :() ==> nat1
getStartPrice() == (return startPrice);
end Good
あなたはインスタンス変数を宣言すると、それは再び
よろしく、 Kamilla
こんにちはニック。どうもありがとうございました。それが私を助けたと思う。私がこの間違いを捉えたり理解しなかった "暗黙的"にしか働かなかったことが原因ですか? 例を作成するために '123'を自分のコードに割り当てることができますか?私はそれもいくつかのことをクリアすると思います。 ありがとうございます。 – KamK
"private startPrice:nat1:= 123"に定義を変更できることを意味します。それはほとんど意味をなさないかもしれませんが、それはその1つのフィールドの警告を削除します。 –