A B C D E F G H I J K L M N O P Q R S T U V W X _

G

G(IFormula) - Method in class rwth.i2.ltlrv.management.FormulaFactory

Generates a Globally formula.

G(IFormula) - Method in interface rwth.i2.ltlrv.management.IFormulaFactory

Generates a Globally formula.

garbageCollect(int, Hashtable) - Static method in class org.aspectbench.runtime.internal.CflowStackGlobal

get(int) - Method in class org.aspectbench.runtime.CFlow

get(int) - Method in class org.aspectbench.runtime.internal.CFlowPlusState

get(int) - Method in class org.aspectbench.runtime.internal.CFlowStack

get() - Method in class org.aspectbench.tm.runtime.internal.Lock

Get the lock and record the current thread as the owner it.

get(Object) - Method in class rwth.i2.ltlrv.data.WeakValuesHashMap

getArgs() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl

getArgs() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl.StaticPartImpl

getArgs() - Method in interface org.aspectj.lang.JoinPoint

Returns the arguments at this join point.

getAspect() - Method in class org.aspectbench.runtime.CFlow

getBindings() - Method in class rwth.i2.ltlrv.afastate.impl.Proposition

Returns a copy of all bindings in this proposition.

getBindings() - Method in interface rwth.i2.ltlrv.afastate.interfaze.IProposition

Returns a copy of all bindings in this proposition.

getCastType() - Method in interface org.aspectbench.eaj.lang.reflect.CastSignature

getCastType() - Method in class org.aspectbench.eaj.runtime.reflect.CastSignatureImpl

getCause() - Method in exception org.aspectj.lang.NoAspectBoundException

getCause() - Method in exception org.aspectj.lang.SoftException

getClassName() - Method in class rwth.i2.ltlrv.management.ByteCodePosition

getColumn() - Method in class org.aspectbench.runtime.reflect.SourceLocationImpl

getColumn() - Method in interface org.aspectj.lang.reflect.SourceLocation

Deprecated. can not be implemented for bytecode weaving, may be removed in 1.1gold.

getCounter() - Method in class org.aspectbench.runtime.internal.CFlowCounter

getDeclaringType() - Method in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

getDeclaringType() - Method in class org.aspectbench.runtime.reflect.SignatureImpl

getDeclaringType() - Method in interface org.aspectj.lang.Signature

Returns a java.lang.Class object representing the class, interface, or aspect that declared this member.

getDeclaringTypeName() - Method in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

getDeclaringTypeName() - Method in class org.aspectbench.runtime.reflect.SignatureImpl

getDeclaringTypeName() - Method in interface org.aspectj.lang.Signature

Returns the fully-qualified name of the declaring type.

getEqual(IProposition) - Method in class rwth.i2.ltlrv.data.PropositionSet

Returns the unique proposition equal to proposition which is contained in this set or null if there is not such proposition.

getExceptionTypes() - Method in class org.aspectbench.runtime.reflect.CodeSignatureImpl

getExceptionTypes() - Method in interface org.aspectj.lang.reflect.CodeSignature

getFactory() - Method in class rwth.i2.ltlrv.management.VerificationRuntime

Returns the term factory.

getFieldType() - Method in class org.aspectbench.runtime.reflect.FieldSignatureImpl

getFieldType() - Method in interface org.aspectj.lang.reflect.FieldSignature

getFileName() - Method in class org.aspectbench.runtime.reflect.SourceLocationImpl

getFileName() - Method in interface org.aspectj.lang.reflect.SourceLocation

getIfExpression() - Method in exception rwth.i2.ltlrv.afastate.interfaze.IIfClosure.UserCausedException

getInstance() - Method in class rwth.i2.ltlrv.afastate.base.NullaryAFAState

getInstance() - Method in interface rwth.i2.ltlrv.afastate.interfaze.INullaryAFAState

getInstance() - Static method in class rwth.i2.ltlrv.management.VerificationRuntime

Returns the singleton instance.

getKind() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl

getKind() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl.StaticPartImpl

getKind() - Method in interface org.aspectj.lang.JoinPoint

Returns a String representing the kind of join point.

getKind() - Method in interface org.aspectj.lang.JoinPoint.StaticPart

Returns a String representing the kind of join point.

getLine() - Method in class org.aspectbench.runtime.reflect.SourceLocationImpl

getLine() - Method in interface org.aspectj.lang.reflect.SourceLocation

getLine() - Method in class rwth.i2.ltlrv.management.ByteCodePosition

getLookupClassLoader() - Method in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

getLookupClassLoader() - Method in class org.aspectbench.runtime.reflect.SignatureImpl

getModifiers() - Method in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

getModifiers() - Method in class org.aspectbench.runtime.reflect.SignatureImpl

getModifiers() - Method in interface org.aspectj.lang.Signature

Returns the modifiers on this signature represented as an int.

getName() - Method in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

getName() - Method in class org.aspectbench.runtime.reflect.ConstructorSignatureImpl

getName() - Method in class org.aspectbench.runtime.reflect.InitializerSignatureImpl

getName() - Method in class org.aspectbench.runtime.reflect.SignatureImpl

getName() - Method in interface org.aspectj.lang.Signature

Returns the identifier part of this signature; i.e.

getOffset() - Method in interface org.aspectbench.eaj.lang.JoinPoint.StaticPart

getOffset() - Method in class org.aspectbench.eaj.runtime.reflect.JoinPointImpl.StaticPartImpl

getParameterName() - Method in class org.aspectbench.runtime.reflect.CatchClauseSignatureImpl

getParameterName() - Method in interface org.aspectj.lang.reflect.CatchClauseSignature

getParameterNames() - Method in class org.aspectbench.runtime.reflect.CodeSignatureImpl

getParameterNames() - Method in interface org.aspectj.lang.reflect.CodeSignature

getParameterType() - Method in class org.aspectbench.runtime.reflect.CatchClauseSignatureImpl

getParameterType() - Method in interface org.aspectj.lang.reflect.CatchClauseSignature

getParameterTypes() - Method in class org.aspectbench.runtime.reflect.CodeSignatureImpl

getParameterTypes() - Method in interface org.aspectj.lang.reflect.CodeSignature

getRepresentationForGrammar() - Method in class rwth.i2.ltlrv.management.ByteCodePosition

getReturnType() - Method in class org.aspectbench.runtime.reflect.AdviceSignatureImpl

getReturnType() - Method in class org.aspectbench.runtime.reflect.MethodSignatureImpl

getReturnType() - Method in interface org.aspectj.lang.reflect.AdviceSignature

getReturnType() - Method in interface org.aspectj.lang.reflect.MethodSignature

getSignature() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl

getSignature() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl.StaticPartImpl

getSignature() - Method in interface org.aspectj.lang.JoinPoint

Returns the signature at the join point.

getSignature() - Method in interface org.aspectj.lang.JoinPoint.StaticPart

Returns the signature at the join point.

getSourceFile() - Method in class rwth.i2.ltlrv.management.ByteCodePosition

getSourceLocation() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl

getSourceLocation() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl.StaticPartImpl

getSourceLocation() - Method in interface org.aspectj.lang.JoinPoint

Returns the source location corresponding to the join point.

getSourceLocation() - Method in interface org.aspectj.lang.JoinPoint.StaticPart

Returns the source location corresponding to the join point.

getStack() - Method in class org.aspectbench.runtime.internal.CFlowStack

getStaticPart() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl

getStaticPart() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl.StaticPartImpl

getStaticPart() - Method in interface org.aspectj.lang.JoinPoint

Returns an object that encapsulates the static parts of this join point

getSubformula() - Method in class rwth.i2.ltlrv.afastate.base.UnaryAFAState

getSubformula() - Method in class rwth.i2.ltlrv.formula.base.UnaryFormula

getSubformula() - Method in interface rwth.i2.ltlrv.formula.interfaze.IUnaryTerm

getSubformula1() - Method in class rwth.i2.ltlrv.afastate.base.BinaryAFAState

getSubformula1() - Method in class rwth.i2.ltlrv.formula.base.BinaryFormula

getSubformula1() - Method in interface rwth.i2.ltlrv.formula.interfaze.IBinaryTerm

getSubformula2() - Method in class rwth.i2.ltlrv.afastate.base.BinaryAFAState

getSubformula2() - Method in class rwth.i2.ltlrv.formula.base.BinaryFormula

getSubformula2() - Method in interface rwth.i2.ltlrv.formula.interfaze.IBinaryTerm

getTarget() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl

getTarget() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl.StaticPartImpl

getTarget() - Method in interface org.aspectj.lang.JoinPoint

Returns the target object.

getThis() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl

getThis() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl.StaticPartImpl

getThis() - Method in interface org.aspectj.lang.JoinPoint

Returns the currently executing object.

getThreadCounter() - Method in class org.aspectbench.runtime.internal.CFlowCounter

getThreadCounter() - Method in class org.aspectbench.runtime.internal.CflowCounterGlobal

getThreadCounter() - Method in interface org.aspectbench.runtime.internal.CflowCounterInterface

getThreadCounter() - Method in class org.aspectbench.runtime.internal.CflowCounterThreadLocal

getThreadStack() - Method in class org.aspectbench.runtime.internal.CFlowStack

getThreadStack() - Method in class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackDouble

getThreadStack() - Method in class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackFloat

getThreadStack() - Method in class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackInt

getThreadStack() - Method in class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackLong

getThreadStack() - Method in class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackRef

getThreadStack() - Method in interface org.aspectbench.runtime.internal.CflowStackInterface.Double

getThreadStack() - Method in interface org.aspectbench.runtime.internal.CflowStackInterface.Float

getThreadStack() - Method in interface org.aspectbench.runtime.internal.CflowStackInterface.Int

getThreadStack() - Method in interface org.aspectbench.runtime.internal.CflowStackInterface.Long

getThreadStack() - Method in interface org.aspectbench.runtime.internal.CflowStackInterface.Ref

getThreadStack() - Method in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Double

getThreadStack() - Method in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Float

getThreadStack() - Method in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Int

getThreadStack() - Method in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Long

getThreadStack() - Method in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Ref

getTopStack(int, Object) - Static method in class org.aspectbench.runtime.internal.CFlowStack

getWithinType() - Method in class org.aspectbench.runtime.reflect.SourceLocationImpl

getWithinType() - Method in interface org.aspectj.lang.reflect.SourceLocation

getWrappedThrowable() - Method in exception org.aspectj.lang.SoftException

Globally - Class in rwth.i2.ltlrv.formula.impl

Globally - Implements the Globally formula constructor of LTL.

Globally(IFormula) - Constructor for class rwth.i2.ltlrv.formula.impl.Globally

Constructs a new formula with the given subformula.

globalState - Variable in class rwth.i2.ltlrv.management.Configuration

The current global state as a disjunct of conjuncts of terms.