Port shim layer to v2 (#558)

Signed-off-by: Xudong Sun <[email protected]>

src/anvil_v2.rs

@@ -1,9 +1,6 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-
 #![allow(unused_imports)]
-
-pub mod external_api;
 pub mod kubernetes_api_objects;
 #[path = "v2/kubernetes_cluster/mod.rs"]
 pub mod kubernetes_cluster;
@@ -12,5 +9,3 @@ pub mod reconciler;
 pub mod state_machine;
 pub mod temporal_logic;
 pub mod vstd_ext;
-
-use vstd::prelude::*;

src/v2/external_shim_layer/mod.rs

@@ -0,0 +1,23 @@
+// Copyright 2022 VMware, Inc.
+// SPDX-License-Identifier: MIT
+use crate::reconciler::exec::io::{VoidEReq, VoidEResp};
+
+// A trait for the external api of a reconciler, whose core is a transition method, and the developer should wrap all
+// possible operations they may need in the function.
+// Input is the input type of the external api and also the ? of Request<?> of the reconciler, i.e., it completes the
+// request type of a reconciler.
+// Similarly, Output is the output type of the external api, which composes the Response<?> type of a reconciler.
+// Note that we can encapsulate all the required libraries here, so each reconciler only has one ExternalAPI type.
+pub trait ExternalShimLayer<EReq, EResp> {
+    fn external_call(req: EReq) -> EResp;
+}
+
+// An empty library that implements External Library.
+// This can be used by those controllers that don't rely on a third-party library.
+pub struct VoidExternalShimLayer {}
+
+impl ExternalShimLayer<VoidEReq, VoidEResp> for VoidExternalShimLayer {
+    fn external_call(_input: VoidEReq) -> VoidEResp {
+        panic!("This should not be visited");
+    }
+}

src/v2/kubernetes_cluster/spec/api_server/state_machine.rs

@@ -1,7 +1,6 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
 #![allow(unused_imports)]
-use crate::external_api::spec::*;
 use crate::kubernetes_api_objects::error::*;
 use crate::kubernetes_api_objects::spec::prelude::*;
 use crate::kubernetes_cluster::spec::{api_server::types::*, message::*};

src/v2/kubernetes_cluster/spec/api_server/types.rs

@@ -1,12 +1,11 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
 #![allow(unused_imports)]
-use crate::external_api::spec::*;
 use crate::kubernetes_api_objects::spec::prelude::*;
+use crate::kubernetes_cluster::spec::message::*;
 use crate::state_machine::action::*;
 use crate::state_machine::state_machine::*;
 use crate::temporal_logic::defs::*;
-use crate::kubernetes_cluster::spec::message::*;
 use crate::vstd_ext::string_view::StringView;
 use vstd::{multiset::*, prelude::*};
 

src/v2/kubernetes_cluster/spec/controller/types.rs

@@ -1,11 +1,10 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
 #![allow(unused_imports)]
-use crate::external_api::spec::*;
 use crate::kubernetes_api_objects::spec::prelude::*;
+use crate::kubernetes_cluster::spec::message::*;
 use crate::state_machine::action::*;
 use crate::state_machine::state_machine::*;
-use crate::kubernetes_cluster::spec::message::*;
 use vstd::{multiset::*, prelude::*};
 
 verus! {

src/v2/kubernetes_cluster/spec/external/types.rs

@@ -1,11 +1,10 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
 #![allow(unused_imports)]
-use crate::external_api::spec::*;
 use crate::kubernetes_api_objects::spec::prelude::*;
+use crate::kubernetes_cluster::spec::message::*;
 use crate::state_machine::action::*;
 use crate::state_machine::state_machine::*;
-use crate::kubernetes_cluster::spec::message::*;
 
 use crate::temporal_logic::defs::*;
 use vstd::{multiset::*, prelude::*};

src/v2/kubernetes_cluster/spec/message.rs

@@ -1,7 +1,6 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
 #![allow(unused_imports)]
-use crate::external_api::spec::*;
 use crate::kubernetes_api_objects::error::*;
 use crate::kubernetes_api_objects::spec::prelude::*;
 use crate::vstd_ext::string_view::*;

src/v2/reconciler/exec/resource_builder.rs

@@ -1,7 +1,6 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
 #![allow(unused_imports)]
-use crate::external_api::exec::*;
 use crate::kubernetes_api_objects::exec::{api_method::*, dynamic::*, resource::*};
 use crate::reconciler::exec::{io::*, reconciler::*};
 use crate::reconciler::spec::resource_builder;