natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Change API method signature for more optimal usage

This commit is contained in:
Fedor Isakov 2024-10-02 15:11:38 +02:00
parent e87d47f6d2
commit 92a19a1ba4
3 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
reactor/Core/src/jetbrains/mps/unification/Term.java
View File

@ -17,11 +17,11 @@
package jetbrains.mps.unification;
import jetbrains.mps.logic.reactor.logical.Logical;
import jetbrains.mps.logic.reactor.logical.LogicalOwner;
import org.jetbrains.annotations.NotNull;
import java.util.Collection;
import java.util.Collections;
import java.util.List;
/**
* Represents a node in a term graph. The graph may contain cycles. A node in a term
@ -46,7 +46,7 @@ public interface Term extends Comparable<Term> {
/**
* Arguments of a function term.
*/
Collection<? extends Term> arguments();
List<? extends Term> arguments();
/**
* A collection of all instances of {@link jetbrains.mps.logic.reactor.logical.Logical}

5
reactor/Test/src/jetbrains/mps/unification/test/MockTerm.java
View File

@ -22,7 +22,6 @@ import jetbrains.mps.unification.Term;
import org.jetbrains.annotations.NotNull;
import java.util.Arrays;
import java.util.Collection;
import java.util.Collections;
import java.util.List;
@ -69,7 +68,7 @@ public abstract class MockTerm implements Term {
}
@Override
public Collection<? extends Term> arguments() {
public List<? extends Term> arguments() {
return Collections.emptyList();
}
@ -99,7 +98,7 @@ public abstract class MockTerm implements Term {
}
@Override
public Collection<Term> arguments() {
public List<? extends Term> arguments() {
return Collections.unmodifiableList(myArgs);
}

4
reactor/Test/test/jetbrains/mps/unification/test/SolverTests.java
View File

@ -26,8 +26,8 @@ import org.jetbrains.annotations.NotNull;
import org.junit.Ignore;
import org.junit.Test;
import java.util.Collection;
import java.util.Collections;
import java.util.List;
import static jetbrains.mps.unification.Substitution.FailureCause.CYCLE_DETECTED;
import static jetbrains.mps.unification.Substitution.FailureCause.SYMBOL_CLASH;
@ -456,7 +456,7 @@ public class SolverTests {
}
@Override
public Collection<? extends Term> arguments() {
public List<? extends Term> arguments() {
return Collections.emptyList();
}