Searched refs:Spec_And_Body_From_Entity (Results 1 – 8 of 8) sorted by relevance
2064 procedure Spec_And_Body_From_Entity subprogspec10615 Spec_And_Body_From_Entity10655 Spec_And_Body_From_Entity10695 Spec_And_Body_From_Entity10739 Spec_And_Body_From_Entity10841 Spec_And_Body_From_Entity10933 Spec_And_Body_From_Entity10968 Spec_And_Body_From_Entity11816 Spec_And_Body_From_Entity11879 Spec_And_Body_From_Entity[all …]
2068 procedure Spec_And_Body_From_Entity subprogspec10657 Spec_And_Body_From_Entity10697 Spec_And_Body_From_Entity10737 Spec_And_Body_From_Entity10781 Spec_And_Body_From_Entity10883 Spec_And_Body_From_Entity10972 Spec_And_Body_From_Entity11007 Spec_And_Body_From_Entity11855 Spec_And_Body_From_Entity11918 Spec_And_Body_From_Entity[all …]
2068 procedure Spec_And_Body_From_Entity subprogspec10666 Spec_And_Body_From_Entity10706 Spec_And_Body_From_Entity10746 Spec_And_Body_From_Entity10790 Spec_And_Body_From_Entity10892 Spec_And_Body_From_Entity10981 Spec_And_Body_From_Entity11016 Spec_And_Body_From_Entity11860 Spec_And_Body_From_Entity11923 Spec_And_Body_From_Entity[all …]
3311 * sem_elab.adb (Spec_And_Body_From_Entity): Refine type of parameter.