src/psl/psl-nodes.adb

116    Free_Nodes : Node := Null_Node;
279       if Free_Nodes /= Null_Node then
492       pragma Assert (N /= Null_Node);
500       pragma Assert (N /= Null_Node);
508       pragma Assert (N /= Null_Node);
516       pragma Assert (N /= Null_Node);
524       pragma Assert (N /= Null_Node);
532       pragma Assert (N /= Null_Node);
540       pragma Assert (N /= Null_Node);
548       pragma Assert (N /= Null_Node);
556       pragma Assert (N /= Null_Node);
564       pragma Assert (N /= Null_Node);
572       pragma Assert (N /= Null_Node);
580       pragma Assert (N /= Null_Node);
588       pragma Assert (N /= Null_Node);
596       pragma Assert (N /= Null_Node);
604       pragma Assert (N /= Null_Node);
612       pragma Assert (N /= Null_Node);
620       pragma Assert (N /= Null_Node);
628       pragma Assert (N /= Null_Node);
636       pragma Assert (N /= Null_Node);
644       pragma Assert (N /= Null_Node);
652       pragma Assert (N /= Null_Node);
660       pragma Assert (N /= Null_Node);
668       pragma Assert (N /= Null_Node);
676       pragma Assert (N /= Null_Node);
684       pragma Assert (N /= Null_Node);
692       pragma Assert (N /= Null_Node);
700       pragma Assert (N /= Null_Node);
708       pragma Assert (N /= Null_Node);
716       pragma Assert (N /= Null_Node);
724       pragma Assert (N /= Null_Node);
732       pragma Assert (N /= Null_Node);
740       pragma Assert (N /= Null_Node);
748       pragma Assert (N /= Null_Node);
756       pragma Assert (N /= Null_Node);
764       pragma Assert (N /= Null_Node);
772       pragma Assert (N /= Null_Node);
780       pragma Assert (N /= Null_Node);
788       pragma Assert (N /= Null_Node);
796       pragma Assert (N /= Null_Node);
804       pragma Assert (N /= Null_Node);
812       pragma Assert (N /= Null_Node);
820       pragma Assert (N /= Null_Node);
828       pragma Assert (N /= Null_Node);
836       pragma Assert (N /= Null_Node);
844       pragma Assert (N /= Null_Node);
852       pragma Assert (N /= Null_Node);
860       pragma Assert (N /= Null_Node);
868       pragma Assert (N /= Null_Node);
876       pragma Assert (N /= Null_Node);
884       pragma Assert (N /= Null_Node);
892       pragma Assert (N /= Null_Node);
900       pragma Assert (N /= Null_Node);
908       pragma Assert (N /= Null_Node);
916       pragma Assert (N /= Null_Node);
924       pragma Assert (N /= Null_Node);
932       pragma Assert (N /= Null_Node);
940       pragma Assert (N /= Null_Node);
948       pragma Assert (N /= Null_Node);
956       pragma Assert (N /= Null_Node);
964       pragma Assert (N /= Null_Node);
972       pragma Assert (N /= Null_Node);
980       pragma Assert (N /= Null_Node);
988       pragma Assert (N /= Null_Node);
996       pragma Assert (N /= Null_Node);
1004       pragma Assert (N /= Null_Node);
1012       pragma Assert (N /= Null_Node);