Tag: invariants
In der informatik, ein Prädikat, das heißt eine invariante Sequenz von Operationen, vorausgesetzt, dass: wenn das Prädikat ist true, bevor die Sequenz, dann ist es wahr am Ende der Sequenz.
2
Antworten
Ziehe ich meine ersten Schritte in Scala und ich möchte der folgende code funktioniert: trait Gene[+T] { val gene: Array[T] } Den Fehler, dass der compiler gibt ist: covariant type T occurs in invariant position in type
5
Antworten
Ich bin die Entwicklung einer Android-Anwendung. Möchte ich die Größe für ein char-array wie dieses: public char[5] language; Aber es funktioniert nicht. Ich habe zum löschen der Nummer fünf, damit es funktioniert. Ich möchte die Begrenzung auf
5
Antworten
Bei der Verwendung von formalen Aspekten, um einige code gibt es eine generische Methode zur Bestimmung des ein-loop-invariant oder wird es ganz anders sein, je nach dem problem? InformationsquelleAutor filinep | 2010-05-29
6
Antworten
Ich weiß nicht wie die Anspruch auf mindestens einen leeren Konstruktor und public setters auf JPA-Entitäten. Ich verstehe zwar das Problem auf den EntityManager Seite, ist dieser ungültig-Klasse Invarianten. Hat jemand eine Lösung für dieses (design pattern
3
Antworten
Ich googelte das Thema, aber neben Wikipedia ich nicht finden, eine weitere, nützliche Unterlagen oder Gegenstände. Kann jemand mir erklären, in einfachen Worten, was es bedeutet, oder verweisen mich auf ein paar nette und leicht zu verstehen
1
Antworten
Ich lese das Buch Java Concurrency in Practice und immer ein wenig verwirrt mit diesen Begriffen: Voraussetzung Post Zustand Invarianten Kann jemand bitte erklären Sie mir, Ihnen (mit einem Beispiel, wenn es möglich ist)? InformationsquelleAutor der Frage
8
Antworten
Das Wort scheint zu kommen in einer Reihe von Kontexten. Die beste, die ich-Figur ist, dass Sie meinen, eine variable, die nicht geändert werden kann. Nicht, dass das, was Konstanten/Finale (verdammt Sie Java!) für sind? InformationsquelleAutor der
6
Antworten
Gesehen auf Introduction to algorithms (http://mitpress.mit.edu/algorithms), die übung, die Folgendes besagt: Input: Array A[1...n] Ausgabe: i, wobei A[i]=v oder NULL wenn nicht gefunden Schreiben Sie einen pseudocode für LINEARE SUCHE"," die scans durch die Sequenz, suchen v.
3
Antworten
Könnte jemand mir zur Verfügung stellen, einfache C# - Beispiele convariance, Kontravarianz, Invarianz-und contra-Invarianz (wenn so etwas vorhanden ist). Alle Proben, die ich bisher gesehen habe, war einfach Gießen einen Gegenstand in System.Object. Kommentar zu dem Problem