Skip to content

Commit 98cd40b

Browse files
committed
Remove the csurf-asm software object
1 parent 649c3af commit 98cd40b

File tree

9 files changed

+4
-471
lines changed

9 files changed

+4
-471
lines changed

.gitignore

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -69,7 +69,6 @@ doc/sel-sw-clang-w-fodder-api.texi
6969
doc/sel-sw-coq-api.texi
7070
doc/sel-sw-coq-project-api.texi
7171
doc/sel-sw-compilable-api.texi
72-
doc/sel-sw-csurf-asm-api.texi
7372
doc/sel-sw-diff-api.texi
7473
doc/sel-sw-elf-api.texi
7574
doc/sel-sw-elf-cisc-api.texi

Makefile

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,7 +45,6 @@ DOC_PACKAGES = \
4545
software-evolution-library/software/compilable \
4646
software-evolution-library/software/coq \
4747
software-evolution-library/software/coq-project \
48-
software-evolution-library/software/csurf-asm \
4948
software-evolution-library/software/diff \
5049
software-evolution-library/software/elf \
5150
software-evolution-library/software/elf-cisc \

doc/api--software-object-classes.texi

Lines changed: 0 additions & 37 deletions
Original file line numberDiff line numberDiff line change
@@ -20,9 +20,6 @@ Software Object Classes
2020
@item Language back end subclasses
2121
@itemize
2222
@item @ref{api-software-objects-asm,@code{asm}}
23-
@itemize
24-
@item @ref{api-software-objects-csurf-asm, @code{csurf-asm}}
25-
@end itemize
2623
@item @ref{api-software-objects-cil, @code{cil}}
2724
@item @ref{api-software-objects-clang, @code{clang}}
2825
@itemize
@@ -104,9 +101,6 @@ Class @code{software}
104101
@item @ref{api-software-objects-simple, @code{simple}}
105102
@itemize
106103
@item @ref{api-software-objects-asm,@code{asm}}
107-
@itemize
108-
@item @ref{api-software-objects-csurf-asm, @code{csurf-asm}}
109-
@end itemize
110104
@item @ref{api-software-objects-diff, @code{diff}}
111105
@item @ref{api-software-objects-elf, @code{elf}}
112106
@itemize
@@ -607,9 +601,6 @@ Class @code{simple}
607601
@item Subclasses
608602
@itemize
609603
@item @ref{api-software-objects-asm,@code{asm}}
610-
@itemize
611-
@item @ref{api-software-objects-csurf-asm, @code{csurf-asm}}
612-
@end itemize
613604
@item @ref{api-software-objects-diff, @code{diff}}
614605
@item @ref{api-software-objects-elf, @code{elf}}
615606
@itemize
@@ -685,11 +676,6 @@ Class @code{asm}
685676
@itemize
686677
@item Class @refapiclass{asm}
687678

688-
@item Subclass
689-
@itemize
690-
@item @ref{api-software-objects-csurf-asm, @code{csurf-asm}}
691-
@end itemize
692-
693679
@anchor{api-asm-mutations}
694680
@item Mutations (subclasses of @refapiclass{mutation})
695681
@itemize
@@ -719,29 +705,6 @@ Class @code{asm}
719705
@c defvar *asm-new-mutation-types*
720706

721707

722-
@c ----------------------------------------
723-
724-
@anchor{api-software-objects-csurf-asm}
725-
@subsubsection Class @code{csurf-asm}
726-
727-
[
728-
@ref{SEL API, API} |
729-
@ref{api-software-objects, Software Objects} |
730-
@ref{api-software-object-classes,Software Object Classes} |
731-
Class @code{csurf-asm}
732-
]
733-
734-
@itemize
735-
@item Class @refapiclass{csurf-asm}
736-
@item Methods
737-
@itemize
738-
@item @refapimethod{phenome,phenome}
739-
@end itemize
740-
@end itemize
741-
742-
743-
@c defvar *gt-home*
744-
745708
@c ----------------------------------------
746709

747710
@anchor{api-software-objects-elf}

doc/sel-api.texi

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -45,7 +45,6 @@ appendix holds each individual package's API in turn.
4545
* sel-sw-coq:: Software-Evolution-Library/Software coq.
4646
* sel-sw-coq-project:: Software-Evolution-Library/Software coq-project.
4747
* sel-sw-compilable:: Software-Evolution-Library/Software compilable.
48-
* sel-sw-csurf-asm:: Software-Evolution-Library/Software csurf-asm.
4948
* sel-sw-diff:: Software-Evolution-Library/Software diff.
5049
* sel-sw-elf:: Software-Evolution-Library/Software elf.
5150
* sel-sw-elf-cisc:: Software-Evolution-Library/Software elf-cisc.
@@ -135,15 +134,11 @@ appendix holds each individual package's API in turn.
135134
@section sel-sw-coq
136135
@include sel-sw-coq-api.texi
137136

138-
@node sel-sw-coq-project, sel-sw-csurf-asm, sel-sw-coq, SEL Packages
137+
@node sel-sw-coq-project, sel-sw-diff, sel-sw-coq, SEL Packages
139138
@section sel-sw-coq-project
140139
@include sel-sw-coq-project-api.texi
141140

142-
@node sel-sw-csurf-asm, sel-sw-diff, sel-sw-coq-project, SEL Packages
143-
@section sel-sw-csurf-asm
144-
@include sel-sw-csurf-asm-api.texi
145-
146-
@node sel-sw-compilable, sel-sw-diff, sel-sw-csurf-asm, SEL Packages
141+
@node sel-sw-compilable, sel-sw-diff, sel-sw-coq-project, SEL Packages
147142
@section sel-sw-compilable
148143
@include sel-sw-compilable-api.texi
149144

doc/software-evolution-library.texi

Lines changed: 2 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -392,10 +392,6 @@ with an indicate of their relative maturity.
392392
@tab @refapiclass{asm}
393393
@tab mature
394394

395-
@item linked ELF binaries @* (manipulated as assembler)
396-
@tab @refapiclass{csurf-asm}
397-
@tab mature
398-
399395
@item linked ELF binaries
400396
@tab @* @refapiclass{elf-cisc}
401397
@tab mature (not recommended)
@@ -434,8 +430,6 @@ the following subsections.
434430
Software Object Classes (see also @ref{api-software-object-classes,Software Object Classes} in the API)
435431
* C/C++ with @code{clang}:: C language source code ASTs
436432
* Assembler with @code{asm}:: Assembler represented as a vector
437-
* Executables with @code{csurf-asm}:: Executables manipulated as an
438-
assembler vector
439433
* Coq with @code{coq}:: Coq language source code ASTs
440434
441435
Software Object Mixins (see also @ref{api-software-object-mixins,Software Object Class ``Mixins''} in the API)
@@ -453,19 +447,13 @@ Software Object Mixins (see also @ref{api-software-object-mixins,Software Object
453447

454448
@include include/clang.texi
455449

456-
@node Assembler with @code{asm}, Executables with @code{csurf-asm}, C/C++ with @code{clang}, Software Objects
450+
@node Assembler with @code{asm}, Coq with @code{coq}, C/C++ with @code{clang}, Software Objects
457451

458452
@subsection Assembler with @code{asm} Software Object
459453

460454
@include include/asm.texi
461455

462-
@node Executables with @code{csurf-asm}, Coq with @code{coq}, Assembler with @code{asm}, Software Objects
463-
464-
@subsection Executables with @code{csurf-asm} Software Object
465-
466-
@include include/csurf-asm.texi
467-
468-
@node Coq with @code{coq}, Ancestor tracking with @code{ancestral}, Executables with @code{csurf-asm}, Software Objects
456+
@node Coq with @code{coq}, Ancestor tracking with @code{ancestral}, Assembler with @code{asm}, Software Objects
469457

470458
@subsection Coq with @code{coq} and @code{SerAPI}
471459

0 commit comments

Comments
 (0)