Packages

trait PropertyKind extends Any

Identifies the kind of a property.

Generally, we distinguish between regular properties and simple properties. The latter are generally only to be used if lower bounds cannot be computed or a very extensive and are never of interest to any potential client. E.g., in case of an IFDS analysis, computing the lower bound is not meaningful; in case of a call graph analysis, the lower bound is usually either prohibitively expensive or is not usefull to any analysis.

Source
PropertyKind.scala
Linear Supertypes
Any
Known Subclasses
AnAIResult, BaseAIResult, BaseAIResult, BaseAIResultPropertyMetaInformation, FieldValue, FieldValue, FieldValueMetaInformation, MethodReturnValue, MethodReturnValue, MethodReturnValuePropertyMetaInformation, NoAIResult, NoMethodReturnValue, TheMethodReturnValue, TypeBasedFieldValueInformation, ValueBasedFieldValueInformation, AggregatableValueProperty, AggregatedProperty, AllocationFreeMethod, AllocationFreeness, AllocationFreeness, AllocationFreenessPropertyMetaInformation, AtMost, ClassifiedImpure, CompileTimeConstancy, CompileTimeConstancy, CompileTimeConstancyPropertyMetaInformation, CompileTimeConstantField, CompileTimePure, CompileTimeVaryingField, ContextuallyPure, ContextuallySideEffectFree, DContextuallyPure, DContextuallySideEffectFree, DPure, DSideEffectFree, DoesNotLeakSelfReference, EscapeInCallee, EscapeProperty, EscapeProperty, EscapePropertyMetaInformation, EscapeViaAbnormalReturn, EscapeViaHeapObject, EscapeViaNormalAndAbnormalReturn, EscapeViaParameter, EscapeViaParameterAndAbnormalReturn, EscapeViaParameterAndNormalAndAbnormalReturn, EscapeViaParameterAndReturn, EscapeViaReturn, EscapeViaStaticField, ExtensibleGetter, ExtensibleLocalField, ExtensibleLocalFieldWithGetter, FieldLocality, FieldLocality, FieldLocalityMetaInformation, FinalEscapeProperty, FreshReturnValue, Getter, GlobalEscape, GlobalEscape, ImpureByAnalysis, ImpureByLackOfInformation, IndividualProperty, LeaksSelfReference, LocalField, LocalFieldWithGetter, MethodComplexity, MethodComplexity, MethodComplexityPropertyMetaInformation, MethodWithAllocations, NoEscape, NoFreshReturnValue, NoLocalField, NoVaryingDataUse, PrimitiveReturnValue, Pure, Purity, Purity, PurityPropertyMetaInformation, ReturnValueFreshness, ReturnValueFreshness, ReturnValueFreshnessPropertyMetaInformation, SelfReferenceLeakage, SideEffectFree, StaticDataUsage, StaticDataUsage, StaticDataUsagePropertyMetaInformation, SystemProperties, SystemProperties, SystemPropertiesPropertyMetaInformation, ThrownExceptions, ThrownExceptions, ThrownExceptionsByOverridingMethods, ThrownExceptionsByOverridingMethods, ThrownExceptionsByOverridingMethodsPropertyMetaInformation, ThrownExceptionsPropertyMetaInformation, UsesConstantDataOnly, UsesNoStaticData, UsesVaryingData, VExtensibleGetter, VFreshReturnValue, VGetter, VNoFreshReturnValue, VPrimitiveReturnValue, VirtualMethodAllocationFreeness, VirtualMethodAllocationFreeness, VirtualMethodAllocationFreenessPropertyMetaInformation, VirtualMethodEscapeProperty, VirtualMethodEscapeProperty, VirtualMethodEscapePropertyMetaInformation, VirtualMethodPurity, VirtualMethodPurity, VirtualMethodPurityPropertyMetaInformation, VirtualMethodReturnValueFreshness, VirtualMethodReturnValueFreshness, VirtualMethodReturnValueFreshnessMetaInformation, VirtualMethodStaticDataUsage, VirtualMethodStaticDataUsage, VirtualMethodStaticDataUsagePropertyMetaInformation, Assignable, ClassImmutability, ClassImmutability, ClassImmutabilityPropertyMetaInformation, DependentlyImmutableClass, DependentlyImmutableField, DependentlyImmutableType, EffectivelyNonAssignable, FieldAssignability, FieldAssignability, FieldAssignabilityPropertyMetaInformation, FieldImmutability, FieldImmutability, FieldImmutabilityPropertyMetaInformation, LazilyInitialized, MutableClass, MutableField, MutableType, NonAssignable, NonAssignableField, NonTransitivelyImmutableClass, NonTransitivelyImmutableField, NonTransitivelyImmutableType, TransitivelyImmutableClass, TransitivelyImmutableField, TransitivelyImmutableType, TypeImmutability, TypeImmutability, TypeImmutabilityPropertyMetaInformation, UnsafelyLazilyInitialized, AllocationSitePointsToSet, AllocationSitePointsToSet, AllocationSitePointsToSet1, AllocationSitePointsToSetN, AllocationSitePointsToSetPropertyMetaInformation, NoAllocationSites, NoTypes, PointsToSetLike, TypeBasedPointsToSet, TypeBasedPointsToSet, TypeBasedPointsToSetPropertyMetaInformation, ExplicitlyNamedProperty, OrderedProperty, Property, PropertyKey, PropertyMetaInformation, IFDSProperty, IFDSPropertyMetaInformation, NoTACAI, TACAI, TACAI, TACAIPropertyMetaInformation, TheTACAI, Callees, Callees, CalleesPropertyMetaInformation, Callers, Callers, CallersImplWithOtherCalls, CallersImplementation, CallersOnlyWithConcreteCallers, CallersPropertyMetaInformation, CallersWithUnknownContext, CallersWithVMLevelCall, CallersWithoutUnknownContext, CallersWithoutVMLevelCall, ConcreteCallees, EmptyConcreteCallers, InstantiatedTypes, InstantiatedTypes, InstantiatedTypesPropertyMetaInformation, LoadedClasses, LoadedClasses, LoadedClassesMetaInformation, NoCallees, NoCalleesDueToNotReachableMethod, NoCallers, NoInstantiatedTypes, NoLoadedClasses, OnlyCallersWithUnknownContext, OnlyVMCallersAndWithUnknownContext, OnlyVMLevelCallers
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PropertyKind
  2. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def getClass(): Class[_ <: AnyRef]
    Definition Classes
    Any
  2. abstract def id: Int

    The id uniquely identifies this property's category.

    The id uniquely identifies this property's category. All property objects of the same kind have to use the same id which is guaranteed since they share the same PropertyKey

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    Any
  2. final def ##: Int
    Definition Classes
    Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def equals(arg0: Any): Boolean
    Definition Classes
    Any
  6. def hashCode(): Int
    Definition Classes
    Any
  7. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  8. def toString(): String
    Definition Classes
    Any

Inherited from Any

Ungrouped