Package org.mpi_sws.jmc.integrations.junit5.descriptors

Class JmcDescriptorUtil

java.lang.Object

org.mpi_sws.jmc.integrations.junit5.descriptors.JmcDescriptorUtil

public class JmcDescriptorUtil
extends Object

Utility class for handling JMC descriptor configurations.

This class provides methods to check and update JMC checker configurations based on annotations present on classes or methods.

Constructor Summary

Constructors

Constructor	Description
JmcDescriptorUtil()

Method Summary

Modifier and Type	Method	Description
static JmcCheckerConfiguration.Builder	checkStrategyConfig(JmcCheckerConfiguration.Builder builder, Class<?> clazz, Method method)	Checks the provided class and method for JMC trust strategy annotations and updates the JMC checker configuration builder accordingly.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

JmcDescriptorUtil

public JmcDescriptorUtil()

Method Details

checkStrategyConfig

public static JmcCheckerConfiguration.Builder checkStrategyConfig(JmcCheckerConfiguration.Builder builder,
 Class<?> clazz,
 Method method)
                                                           throws JmcInvalidConfigurationException

Checks the provided class and method for JMC trust strategy annotations and updates the JMC checker configuration builder accordingly.

Parameters:

builder - The JMC checker configuration builder to update.

clazz - The class to check for annotations.

method - The method to check for annotations.

Returns:

An updated JMC checker configuration builder.

Throws:

JmcInvalidConfigurationException