CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
java_class_loader_baset::classpath_entryt Struct Reference

An entry in the classpath. More...

#include <java_class_loader_base.h>

+ Collaboration diagram for java_class_loader_baset::classpath_entryt:

Public Types

 

Public Member Functions

  classpath_entryt (kindt _kind, const std::string &_path)
 

Public Attributes

 
std::string  path
 

Detailed Description

An entry in the classpath.

Definition at line 46 of file java_class_loader_base.h.

Member Typedef Documentation

◆  kindt

Definition at line 48 of file java_class_loader_base.h.

Constructor & Destructor Documentation

◆  classpath_entryt()

java_class_loader_baset::classpath_entryt::classpath_entryt ( kindt  _kind,
const std::string &  _path 
)
inline

Definition at line 52 of file java_class_loader_base.h.

Member Data Documentation

◆  kind

kindt java_class_loader_baset::classpath_entryt::kind

Definition at line 49 of file java_class_loader_base.h.

◆  path

std::string java_class_loader_baset::classpath_entryt::path

Definition at line 50 of file java_class_loader_base.h.


The documentation for this struct was generated from the following file:

AltStyle によって変換されたページ (->オリジナル) /