closesocket.hh

Go to the documentation of this file.

/*
 * Copyright 2021 Assured Information Security, Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *         http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
/* This file is automatically generated. Do not edit. */
#pragma once
 
#include <cstdint>
#include <introvirt/core/memory/guest_ptr.hh>
#include <introvirt/windows/libraries/WindowsFunctionCall.hh>
#include <introvirt/windows/libraries/ws2_32/types/SOCKET.hh>
#include <ostream>
#include <string>
 
namespace introvirt {
namespace windows {
namespace ws2_32 {
 
class closesocket final : public WindowsFunctionCall {
  public:
    SOCKET s() const;
    void s(SOCKET s);
 
    const std::string& function_name() const override;
    const std::string& library_name() const override;
    void write(std::ostream& os = std::cout) const override;
    Json::Value json() const override;
 
    int32_t result() const;
    void result(int32_t result);
 
    closesocket(Event& event);
    ~closesocket() override;
 
    /* Injection helper */
    static int32_t inject(SOCKET s);
 
    static constexpr int ArgumentCount = 1;
    inline static const std::string LibraryName = "ws2_32";
    inline static const std::string FunctionName = "closesocket";
 
  private:
    /* Injection constructor */
    closesocket(Event& event, SOCKET s);
 
  private:
    SOCKET s_;
};
 
} // namespace ws2_32
} // namespace windows
} // namespace introvirt