de.uka.ilkd.key.api

Class ProofScriptCommandApi

java.lang.Object

de.uka.ilkd.key.api.ProofScriptCommandApi

public class ProofScriptCommandApi
extends java.lang.Object

This class provides access to the proof script commands.

Version:

1 (21.04.17)

Author:

Alexander Weigl

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
ProofScriptCommandApi()

Method Summary

Modifier and Type	Method and Description
java.util.Collection<ProofScriptCommand>	getScriptCommands() Returns a collection of all registered proof script commands.
ProofScriptCommand<?>	getScriptCommands(java.lang.String name) Searches for the proof script command in the registered commands by its name.
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,ProofScriptCommand> commandMap

Constructor Detail

ProofScriptCommandApi

public ProofScriptCommandApi()

Method Detail

initialize

private void initialize()

getScriptCommands

public java.util.Collection<ProofScriptCommand> getScriptCommands()

Returns a collection of all registered proof script commands.

ProofScriptCommands are found via the ServiceLoader facility.

Returns:

a collection of proof script commands

getScriptCommands

public ProofScriptCommand<?> getScriptCommands(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