]> gerrit.simantics Code Review - simantics/platform.git/tree
0a71ae778c2b38f9e03171684039f4a630ef2b00
-rw-r--r-- 259 EnvironmentalContext.java
-rw-r--r-- 933 PrintingContext.java
-rw-r--r-- 2399 ReplaceContext.java
-rw-r--r-- 10248 SimplificationContext.java
-rw-r--r-- 21994 TranslationContext.java
-rw-r--r-- 4929 TypeTranslationContext.java
-rw-r--r-- 19685 TypingContext.java