abc.ltl.ast
Interface PCFormula

All Superinterfaces:

Pointcut

All Known Implementing Classes:

PCFormula_c

public interface PCFormula
extends Pointcut

Author:

Eric Bodden PCFormula_c

Method Summary

Expr	formulaConstructorExpr(PropositionLabels vis, Position pos)
ByteCodePosition	getByteCodePosition()
java.util.Collection<Formal>	getFormals()
PCLTLGeneral	getInnerPc()
boolean	isPrepareForMultiThreading()
java.lang.String	propositionLabel(Pointcut pc)
void	setPropositionIds(java.util.Map<Pointcut,java.lang.Integer> propToId)

Methods inherited from interface abc.aspectj.ast.Pointcut

checkFormals, isDynamic, makeAIPointcut, mayBind, mustBind, pcRefs, precedence, printSubExpr

Method Detail

getInnerPc

PCLTLGeneral getInnerPc()

getByteCodePosition

ByteCodePosition getByteCodePosition()

getFormals

java.util.Collection<Formal> getFormals()

formulaConstructorExpr

Expr formulaConstructorExpr(PropositionLabels vis,
                            Position pos)

setPropositionIds

void setPropositionIds(java.util.Map<Pointcut,java.lang.Integer> propToId)

propositionLabel

java.lang.String propositionLabel(Pointcut pc)

Parameters:

pc -

Returns:

isPrepareForMultiThreading

boolean isPrepareForMultiThreading()