wurstscript / WurstScript / 214

Committed 08 Nov 2023 04:21PM UTC coverage: 62.602% (-0.007%) from 62.609%

Build # 214

Build Type

push

circleci

Committed by

Frotty

Commit Message

Fix renaming array symbols

Run Details

17297 of 27630 relevant lines covered (62.6%)

0.63 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

0.0

de.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/requests/GetUsages.java

package de.peeeq.wurstio.languageserver.requests;

import de.peeeq.wurstio.languageserver.ModelManager;
import de.peeeq.wurstio.languageserver.BufferManager;
import de.peeeq.wurstio.languageserver.Convert;
import de.peeeq.wurstio.languageserver.WFile;
import de.peeeq.wurstscript.ast.*;
import de.peeeq.wurstscript.utils.Utils;
import org.eclipse.lsp4j.*;

import java.util.*;

public class GetUsages extends UserRequest<List<GetUsages.UsagesData>> {

    private final WFile wFile;
    private final String buffer;
    private final int line;
    private final int column;
    private final boolean global;



    public GetUsages(TextDocumentPositionParams position, BufferManager bufferManager, boolean global) {
        this.wFile = WFile.create(position.getTextDocument().getUri());
        this.buffer = bufferManager.getBuffer(position.getTextDocument());
        this.line = position.getPosition().getLine() + 1;
        this.column = position.getPosition().getCharacter() + 1;
        this.global = global;
    }


    @Override
    public List<UsagesData> execute(ModelManager modelManager) {
        CompilationUnit cu = modelManager.replaceCompilationUnitContent(wFile, buffer, false);
        if (cu == null) {
            return Collections.emptyList();
        }
        Optional<Element> astElem = Utils.getAstElementAtPos(cu, line, column, false);
        Optional<NameDef> nameDef = astElem.flatMap(elem -> Optional.ofNullable(elem.tryGetNameDef()));
        List<UsagesData> usages = new ArrayList<>();
        if (nameDef.isPresent()) {

            if (global || nameDef.get().getSource().getFile().equals(wFile.toString())) {
                // add declaration
                usages.add(
                    new UsagesData(Convert.posToLocation(nameDef.get().attrErrorPos()), DocumentHighlightKind.Write));
            }
            Deque<Element> todo = new ArrayDeque<>();
            if (global) {
                todo.push(modelManager.getModel());
            } else {
                todo.push(cu);
            }
            while (!todo.isEmpty()) {
                Element e = todo.pop();
                // visit children:
                for (int i = 0; i < e.size(); i++) {
                    todo.push(e.get(i));
                }
                NameDef e_def = e.tryGetNameDef();
                if (e_def == nameDef.get()) {
                    if (e instanceof ExprVarArrayAccess) {
                        e = ((ExprVarArrayAccess) e).getVarNameId();
                    }
                    Location location = Convert.posToLocation(e.attrErrorPos());
                    UsagesData usagesData = new UsagesData(location, DocumentHighlightKind.Read);
                    usages.add(usagesData);
                }
            }
        }

        return usages;
    }

    public static class UsagesData {
        private Location location;
        private DocumentHighlightKind kind;


        public UsagesData(Location location, DocumentHighlightKind kind) {
            this.location = location;
            this.kind = kind;
        }

        public String getFilename() {
            return location.getUri();
        }

        public void setFilename(String filename) {
            location.setUri(filename);
        }

        public Range getRange() {
            return location.getRange();
        }

        public void setRange(Range range) {
            location.setRange(range);
        }

        public DocumentHighlightKind getKind() {
            return kind;
        }

        public void setKind(DocumentHighlightKind kind) {
            this.kind = kind;
        }

        public Location getLocation() {
            return location;
        }

        public DocumentHighlight toDocumentHighlight() {
            return new DocumentHighlight(location.getRange(), kind);
        }

    }
}

1	package de.peeeq.wurstio.languageserver.requests;
2
3	import de.peeeq.wurstio.languageserver.ModelManager;
4	import de.peeeq.wurstio.languageserver.BufferManager;
5	import de.peeeq.wurstio.languageserver.Convert;
6	import de.peeeq.wurstio.languageserver.WFile;
7	import de.peeeq.wurstscript.ast.*;
8	import de.peeeq.wurstscript.utils.Utils;
9	import org.eclipse.lsp4j.*;
10
11	import java.util.*;
12
13	public class GetUsages extends UserRequest<List<GetUsages.UsagesData>> {
14
15	private final WFile wFile;
16	private final String buffer;
17	private final int line;
18	private final int column;
19	private final boolean global;
20
21
22
23	public GetUsages(TextDocumentPositionParams position, BufferManager bufferManager, boolean global) {	×
24	this.wFile = WFile.create(position.getTextDocument().getUri());	×
25	this.buffer = bufferManager.getBuffer(position.getTextDocument());	×
26	this.line = position.getPosition().getLine() + 1;	×
27	this.column = position.getPosition().getCharacter() + 1;	×
28	this.global = global;	×
29	}	×
30
31
32	@Override
33	public List<UsagesData> execute(ModelManager modelManager) {
34	CompilationUnit cu = modelManager.replaceCompilationUnitContent(wFile, buffer, false);	×
35	if (cu == null) {	×
36	return Collections.emptyList();	×
37	}
38	Optional<Element> astElem = Utils.getAstElementAtPos(cu, line, column, false);	×
39	Optional<NameDef> nameDef = astElem.flatMap(elem -> Optional.ofNullable(elem.tryGetNameDef()));	×
40	List<UsagesData> usages = new ArrayList<>();	×
41	if (nameDef.isPresent()) {	×
42
43	if (global \|\| nameDef.get().getSource().getFile().equals(wFile.toString())) {	×
44	// add declaration
45	usages.add(	×
46	new UsagesData(Convert.posToLocation(nameDef.get().attrErrorPos()), DocumentHighlightKind.Write));	×
47	}
48	Deque<Element> todo = new ArrayDeque<>();	×
49	if (global) {	×
50	todo.push(modelManager.getModel());	×
51	} else {
52	todo.push(cu);	×
53	}
54	while (!todo.isEmpty()) {	×
55	Element e = todo.pop();	×
56	// visit children:
57	for (int i = 0; i < e.size(); i++) {	×
58	todo.push(e.get(i));	×
59	}
60	NameDef e_def = e.tryGetNameDef();	×
61	if (e_def == nameDef.get()) {	×
62	if (e instanceof ExprVarArrayAccess) {	×
63	e = ((ExprVarArrayAccess) e).getVarNameId();	×
64	}
65	Location location = Convert.posToLocation(e.attrErrorPos());	×
66	UsagesData usagesData = new UsagesData(location, DocumentHighlightKind.Read);	×
67	usages.add(usagesData);	×
68	}
69	}	×
70	}
71
72	return usages;	×
73	}
74
75	public static class UsagesData {
76	private Location location;
77	private DocumentHighlightKind kind;
78
79
80	public UsagesData(Location location, DocumentHighlightKind kind) {	×
81	this.location = location;	×
82	this.kind = kind;	×
83	}	×
84
85	public String getFilename() {
86	return location.getUri();	×
87	}
88
89	public void setFilename(String filename) {
90	location.setUri(filename);	×
91	}	×
92
93	public Range getRange() {
94	return location.getRange();	×
95	}
96
97	public void setRange(Range range) {
98	location.setRange(range);	×
99	}	×
100
101	public DocumentHighlightKind getKind() {
102	return kind;	×
103	}
104
105	public void setKind(DocumentHighlightKind kind) {
106	this.kind = kind;	×
107	}	×
108
109	public Location getLocation() {
110	return location;	×
111	}
112
113	public DocumentHighlight toDocumentHighlight() {
114	return new DocumentHighlight(location.getRange(), kind);	×
115	}
116
117	}
118	}

wurstscript / WurstScript / 214

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous