Section Header
 
  
    + name    := VIEW_OBJECT[E];
    
  
    - comment := "Reflexivity view object.";
  
Section Public  
  
  
  
 General information.
  
  
  
- name:STRING_CONSTANT <- `FUCK`;
  
  
    - is_separate:BOOLEAN <- 
  
  
    - is_expanded:BOOLEAN <- 
  
  
    - is_natif_expanded:BOOLEAN <-  
  
  
 Data action.
  
  
  
  
    - forall_data action:BLOCK <- 
  
  
    - forall_set_data action:BLOCK <- 
  
  
    - has_data:BOOLEAN <- 
  
  
  
 Bit control access.
  
  
  
    - is_marked:BOOLEAN <-   
  
  
    - is_free:BOOLEAN        <- 
  
  
    - is_non_mutable:BOOLEAN <- 
          
Section MEMORY  
  
  
  
 MEMORY
  
  
  
    - set_mark <-
  
         Recurssive set marked bit
  
  
  
    - unset_mark <-
  
         Unset marked bit (non recurssive).
  
  
  
    - set_free <-  
  
  
  
    - deep_clone:VIEW_OBJECT[E] <-
    
Section Public
  
  
  
 Non mutable.
  
  
  
    - set_non_mutable <-
  
         Recurssive set non mutable bit.