A class representing a module that is missing from the DB, but inferred to exists from imports.
Import path
import semmle.python.objects.Modules
Direct supertypes
Indirect supertypes
Predicates
attribute | Holds if the result of getting the attribute |
attributesUnknown | Holds if the attributes of this object are wholly or partly unknowable |
calleeAndOffset | Holds if the function |
getBuiltin | Gets the |
getClassDeclaration | Gets the class declaration for this object, if it is a class with a declaration. |
getName | Gets the name of this of this object if it has a meaningful name. Note that the name of an object is not necessarily the name by which it is called For example the function named |
getOrigin | Gets a control flow node that represents the source origin of this object, if it has a meaningful location in the source code. This method exists primarily for providing backwards compatibility and locations for source objects. Source code objects should attempt to return exactly one result for this method. |
getSourceModule | Gets the source scope of this module, if it has one. |
hasCompleteExportInfo | Whether the complete set of names “exported” by this module can be accurately determined |
intValue | Gets the integer value of things that have integer values and whose integer value is tracked. That is, some ints, mainly small numbers, and bools. |
introducedAt | Holds if this object is introduced into the code base at |
strValue | Gets the string value of things that have string values. That is, strings. |
toString | Gets a textual representation of this element. |
Inherited predicates
binds | Holds if attribute lookup on this object may “bind” | from ModuleObjectInternal |
booleanValue | Gets the boolean value of this object. This may be both true and false if the “object” represents a set of possible objects. | from ModuleObjectInternal |
callResult | Holds if | from ModuleObjectInternal |
callResult | Holds if | from ModuleObjectInternal |
contextSensitiveCallee | from ModuleObjectInternal | |
descriptorGetClass | Holds if the result of attribute access on the class holding this descriptor is | from ModuleObjectInternal |
descriptorGetInstance | Holds if the result of attribute access on an instance of a class holding this descriptor is | from ModuleObjectInternal |
exports | Holds if this module “exports” name. That is, does it define | from ModuleObjectInternal |
functionAndOffset | Holds if the object | from ObjectInternal |
getClass | Gets the class of this object. | from ModuleObjectInternal |
getIterNext | Gets the ‘object’ resulting from iterating over this object. Used in the context | from ModuleObjectInternal |
getSource | For backwards compatibility shim – Not all objects have a “source”. Objects (except unknown and undefined values) should attempt to return exactly one result for this method. | from ObjectInternal |
hasAttribute | Holds if this value has the attribute | from ObjectInternal |
isBuiltin | from ObjectInternal | |
isClass | True if this “object” is a class. That is, its class inherits from | from ModuleObjectInternal |
isDescriptor | Holds if this object is a descriptor. Holds, for example, for functions and properties and not for integers. | from ModuleObjectInternal |
isInitModule | Holds if this module is a | from ModuleObjectInternal |
isNotSubscriptedType | from ModuleObjectInternal | |
length | Gets the length of the sequence that this “object” represents. Always returns a value for a sequence, will be -1 if the object has no fixed length. | from ModuleObjectInternal |
notTestableForEquality | True if this “object” can be meaningfully analyzed to determine the boolean value of equality tests on it. For example, | from ModuleObjectInternal |
subscriptUnknown | Holds if the result of subscripting this object are wholly or partly unknowable | from ModuleObjectInternal |
useOriginAsLegacyObject | Holds if this ‘object’ represents an entity that should be exposed to the legacy points_to API This should hold for almost all objects that do not have an underlying DB object representing their source, for example | from ModuleObjectInternal |