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
using	kindt = enum { JAR, DIRECTORY }

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

Public Attributes
kindt	kind
std::string	path

Detailed Description

An entry in the classpath.

Definition at line 45 of file java_class_loader_base.h.

Member Typedef Documentation

kindt

using java_class_loader_baset::classpath_entryt::kindt = enum { JAR, DIRECTORY }

Definition at line 47 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 51 of file java_class_loader_base.h.

Member Data Documentation

kind

kindt java_class_loader_baset::classpath_entryt::kind

Definition at line 48 of file java_class_loader_base.h.

path

std::string java_class_loader_baset::classpath_entryt::path

Definition at line 49 of file java_class_loader_base.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/jbmc/src/java_bytecode/java_class_loader_base.h