Crypto: Update queries to use new type names

Author: nicolaswill

java/ql/src/experimental/quantum/Examples/TestAESGCMNonce.ql

@@ -7,7 +7,7 @@ import experimental.quantum.Language
 class AESGCMAlgorithmNode extends Crypto::KeyOperationAlgorithmNode {
   AESGCMAlgorithmNode() {
     this.getAlgorithmType() = Crypto::KeyOpAlg::TSymmetricCipher(Crypto::KeyOpAlg::AES()) and
-    this.getModeOfOperation().getModeType() = Crypto::GCM()
+    this.getModeOfOperation().getModeType() = Crypto::KeyOpAlg::GCM()
   }
 }
 

java/ql/src/experimental/quantum/InventorySlices/KnownAsymmetricCipherAlgorithm.ql

@@ -11,5 +11,5 @@ import java
 import experimental.quantum.Language
 
 from Crypto::KeyOperationAlgorithmNode a
-where a.getAlgorithmType() instanceof Crypto::KeyOpAlg::AsymmetricCipherAlgorithm
+where a.getAlgorithmType() instanceof Crypto::KeyOpAlg::AsymmetricCipherAlgorithmType
 select a, a.getAlgorithmName()

java/ql/src/experimental/quantum/InventorySlices/KnownCipherAlgorithm.ql

@@ -13,6 +13,6 @@ import experimental.quantum.Language
 // TODO: should there be a cipher algorithm node?
 from Crypto::KeyOperationAlgorithmNode a
 where
-  a.getAlgorithmType() instanceof Crypto::KeyOpAlg::AsymmetricCipherAlgorithm or
-  a.getAlgorithmType() instanceof Crypto::KeyOpAlg::SymmetricCipherAlgorithm
+  a.getAlgorithmType() instanceof Crypto::KeyOpAlg::AsymmetricCipherAlgorithmType or
+  a.getAlgorithmType() instanceof Crypto::KeyOpAlg::SymmetricCipherAlgorithmType
 select a, a.getAlgorithmName()

java/ql/src/experimental/quantum/InventorySlices/KnownSymmetricCipherAlgorithm.ql

@@ -11,5 +11,5 @@ import java
 import experimental.quantum.Language
 
 from Crypto::KeyOperationAlgorithmNode a
-where a.getAlgorithmType() instanceof Crypto::KeyOpAlg::SymmetricCipherAlgorithm
+where a.getAlgorithmType() instanceof Crypto::KeyOpAlg::SymmetricCipherAlgorithmType
 select a, a.getAlgorithmName()