eiffel

相关标签：javascript jquery android 多少钱 iPhone

Is there an beautiful way to assert pre-conditions in Java methods?

A lot of myfunctions have a whole load of validation code just below the declarations: if ( ! (start < end) ) {[详细]

2023-03-23 05:26 分类：问答
Where evaluate invariants after and before call a routine?

In the design by contracts, the class invariant must be satisfied on two occasions: after creating the object and after call a routine. Are there any examples or conditions, which I have to do the eva[详细]

2023-03-13 12:43 分类：问答
Clone and equal method in Eiffel [closed]

As it currently stands, this question is not a good fit for our Q&A format. We expect answers to be supported by facts, references,or expertise, but this question will likely solicit debate, a[详细]

2023-03-12 12:42 分类：问答
How to initialise an array of objects in Eiffel?

I am trying to implement a solution to the Producer-Consumer problem using Eiffel. I have an array p of class PRODUCER and an array c of class CONSUMER declared and initialized as following:[详细]

2023-03-04 16:45 分类：问答
How does Racket Scheme's "design by contract" features different from Eiffel?

I know that both Eiffel (the progenitor) and Racket both to implement \"Design by Contract\" features.Sadly, I am not sure how one would different from the other.Eiffel\'s DBC is reliant on the OOP pa[详细]

2023-02-25 10:57 分类：问答
Eiffel regular expression validation

How do you create a regular expression for a certain string? And can you do it in the Assertion (precondition part of the code)?[详细]

2023-02-20 11:46 分类：问答
multiple inheritance in Eiffel

Hoi,The multiple inheritance in eiffel really confused me ,can anybody tell me what class French_Us_Driver inherit from all its parent-class.[详细]

2023-02-04 19:11 分类：问答
Object-Oriented Callbacks for C++?

Is there some library that allows me to easily and conveniently create Object-Oriented callbacks in c++?[详细]

2023-01-12 09:55 分类：问答
Passing type argument to Eiffel method

I would like to write a cast method in Eiffel which takes \'the type to cast to\' as a type parameter.Is there a way to pass a type into a method in Eiffel.[详细]

2023-01-11 00:39 分类：问答
Experiences in learning Eiffel [closed]

As it currently stands, this question is not a good fit for our Q&am开发者_JAVA技巧p;A format. We expect answers to be supported by facts, references,or expertise, but this question will likely so[详细]

2022-12-27 06:14 分类：问答