org.protempa

Interface PropositionDefinitionCheckedVisitable

All Known Subinterfaces:

AbstractionDefinition, ParameterDefinition, PropositionDefinition, TemporalPropositionDefinition

All Known Implementing Classes:

AbstractAbstractionDefinition, AbstractPropositionDefinition, CompoundLowLevelAbstractionDefinition, ConstantDefinition, ContextDefinition, EventDefinition, HighLevelAbstractionDefinition, LowLevelAbstractionDefinition, PrimitiveParameterDefinition, SequentialTemporalPatternDefinition, SliceDefinition

public interface PropositionDefinitionCheckedVisitable

Interface for accepting a proposition definition visitor.

Author:

Andrew Post

Method Summary

Modifier and Type	Method and Description
void	acceptChecked(PropositionDefinitionCheckedVisitor propositionVisitor) Performs some processing on this proposition definition.

Method Detail

acceptChecked

void acceptChecked(PropositionDefinitionCheckedVisitor propositionVisitor)
            throws ProtempaException

Performs some processing on this proposition definition.

Parameters:

visitor - a PropositionDefinitionVisitor, cannot be null.

Throws:

ProtempaException