IMMUTABLE OBJECT TYPES Russian patent published in 2018 - IPC G06F9/44 G06F8/30 G06F8/41 

FIELD: computing; counting.

SUBSTANCE: invention relates to a computer-implemented method, a computer-readable medium, and a computer system for ensuring the immutability of instances of an object type. Method comprises the steps of accessing in a software code an advertisement containing an explicit annotation to the object type that specifies that the object type is immutable in response to accessing the advertisement, perform the steps on which computer-executable instructions are automatically formulated that realize that each instance of this type of object is classified as immutable after its creation, including commands that ignore any user-defined permission for this type of object, so that all instances of this type of object are immutable, even if the permission is modifiable, also that all directly or indirectly accessible elements of an instance of that type of object are classified as immutable, as well as the fact that the existence of any reference that allows to assign the fields of the instance of the specified object type is not allowed after the moment at which the given instance becomes available to the creator of this instance.

EFFECT: technical result is the automatic control of an object type instance.

21 cl, 4 dwg