cprover
require_type::expected_type_argumentt Struct Reference

#include <require_type.h>

Collaboration diagram for require_type::expected_type_argumentt:
[legend]

Public Attributes

type_argument_kindt kind
 
irep_idt description
 

Detailed Description

Definition at line 49 of file require_type.h.

Member Data Documentation

◆ description

irep_idt require_type::expected_type_argumentt::description

Definition at line 52 of file require_type.h.

Referenced by require_java_generic_type_argument_expectation().

◆ kind

type_argument_kindt require_type::expected_type_argumentt::kind

Definition at line 51 of file require_type.h.

Referenced by require_java_generic_type_argument_expectation().


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