Widerspruchsfunktion
Warnung
Diese Dokumentation bezieht sich auf das klassische QDK, das durch das moderne QDK ersetzt wurde.
Weitere Informationen finden https://aka.ms/qdk.api Sie in der API-Dokumentation für das moderne QDK.
Namespace: Microsoft.Quantum.Diagnostics
Paket: Microsoft.Quantum.QSharp.Foundation
Überprüft, ob eine klassische Bedingung falsch ist, und löst eine Ausnahme aus, wenn dies nicht der Fehler ist.
function Contradiction (actual : Bool, message : String) : Unit
Eingabe
actual : Bool
Die zu überprüfende Bedingung.
message : String
Fehlermeldungszeichenfolge, die als Fehlermeldung verwendet werden soll, wenn die klassische Bedingung true ist.
Ausgabe: Einheit
Beispiel
Der folgende Q#-Code gibt "Hello, world" aus:
Contradiction(2 == 3, "2 is not equal to 3.");
Message("Hello, world.");