de.uka.ilkd.key.api

Class ProofMacroApi

java.lang.Object

de.uka.ilkd.key.api.ProofMacroApi

public class ProofMacroApi
extends java.lang.Object

This class provides access to the proof script commands.

Version:

1 (09.05.17)

Author:

Alexander Weigl

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Map<java.lang.String,ProofMacro>	commandMap

Constructor Summary

Constructors

Constructor and Description
ProofMacroApi()

Method Summary

Modifier and Type	Method and Description
ProofMacro	getMacro(java.lang.String name) Searches for the proof script command in the registered commands by its name.
java.util.Collection<ProofMacro>	getMacros() Returns a collection of all registered proof script commands.
private void	initialize()

Methods inherited from class java.lang.Object

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

Field Detail

commandMap

private java.util.Map<java.lang.String,ProofMacro> commandMap

Constructor Detail

ProofMacroApi

public ProofMacroApi()

Method Detail

initialize

private void initialize()

getMacros

public java.util.Collection<ProofMacro> getMacros()

Returns a collection of all registered proof script commands.

ProofMacros are found via the ServiceLoader facility.

Returns:

a collection of proof script commands

getMacro

public ProofMacro getMacro(java.lang.String name)

Searches for the proof script command in the registered commands by its name. If no command is found, null is returned.

Parameters:

name - the non-null name of the search proof script command

Returns:

the proof script command or null