Example 1 with ConcreteHeader
use of ast.Ast.ConcreteHeader in project L42 by ElvisResearchGroup.
the class Desugar method visit.
public Expression visit(ClassB s) {
Position pos = s.getP();
assert !(s.getH() instanceof ConcreteHeader);
if (!s.getFields().isEmpty()) {
List<Member> ms = s.getFields().stream().flatMap(f -> Desugar.field(pos, f)).collect(Collectors.toList());
ms.addAll(s.getMs());
s = s.withMs(ms).withH(new Ast.TraitHeader());
}
Set<String> oldUsedVars = this.usedVars;
HashMap<String, Type> oldVarEnv = this.varEnv;
try {
s = (ClassB) super.visit(s);
s = FlatFirstLevelLocalNestedClasses.of(s, this);
s = DesugarCatchDefault.of(s);
return s;
} finally {
this.usedVars = oldUsedVars;
this.varEnv = oldVarEnv;
}
}
Also used :
Stage(ast.Ast.Stage)
VarDecXE(ast.Ast.VarDecXE)
X(ast.Expression.X)
Ast(ast.Ast)
FieldDec(ast.Ast.FieldDec)
Parameters(ast.Ast.Parameters)
Catch1(ast.Expression.Catch1)
Catch(ast.Expression.Catch)
SquareWithCall(ast.Expression.SquareWithCall)
ErrorMessage(ast.ErrorMessage)
Type(ast.Ast.Type)
Configuration(facade.Configuration)
FCall(ast.Expression.FCall)
SquareCall(ast.Expression.SquareCall)
ConcreteHeader(ast.Ast.ConcreteHeader)
MethodWithType(ast.Expression.ClassB.MethodWithType)
MethodSelector(ast.Ast.MethodSelector)
Visitor(coreVisitors.Visitor)
BinOp(ast.Expression.BinOp)
InjectionOnSugar(coreVisitors.InjectionOnSugar)
Op(ast.Ast.Op)
SignalKind(ast.Ast.SignalKind)
Loop(ast.Expression.Loop)
OnLineCode(platformSpecific.fakeInternet.OnLineCode)
RoundBlock(ast.Expression.RoundBlock)
TypeManipulation(newTypeSystem.TypeManipulation)
Set(java.util.Set)
MethodSelectorX(ast.Ast.MethodSelectorX)
With(ast.Expression.With)
Collectors(java.util.stream.Collectors)
List(java.util.List)
Stream(java.util.stream.Stream)
UseSquare(ast.Expression.UseSquare)
While(ast.Expression.While)
ClassReuse(ast.Expression.ClassReuse)
VarDecCE(ast.Ast.VarDecCE)
EncodingHelper(auxiliaryGrammar.EncodingHelper)
Optional(java.util.Optional)
Timer(profiling.Timer)
L42(facade.L42)
Expression._void(ast.Expression._void)
Program(programReduction.Program)
Header(ast.Ast.Header)
Using(ast.Expression.Using)
Member(ast.Expression.ClassB.Member)
HashMap(java.util.HashMap)
Assertions(tools.Assertions)
MethodType(ast.Ast.MethodType)
Supplier(java.util.function.Supplier)
ArrayList(java.util.ArrayList)
HashSet(java.util.HashSet)
PathMxMx(ast.Util.PathMxMx)
RefreshUniqueNames(privateMangling.RefreshUniqueNames)
MCall(ast.Expression.MCall)
If(ast.Expression.If)
Literal(ast.Expression.Literal)
UnOp(ast.Expression.UnOp)
IsCompiled(coreVisitors.IsCompiled)
Mdf(ast.Ast.Mdf)
VarDec(ast.Ast.VarDec)
Path(ast.Ast.Path)
DocE(ast.Expression.DocE)
Doc(ast.Ast.Doc)
VarDecE(ast.Ast.VarDecE)
ExpCore(ast.ExpCore)
Expression(ast.Expression)
ClassB(ast.Expression.ClassB)
Functions(auxiliaryGrammar.Functions)
CatchMany(ast.Expression.CatchMany)
CurlyBlock(ast.Expression.CurlyBlock)
Position(ast.Ast.Position)
MethodImplemented(ast.Expression.ClassB.MethodImplemented)
PathAux(ast.PathAux)
Collections(java.util.Collections)
NestedClass(ast.Expression.ClassB.NestedClass)
Type(ast.Ast.Type)
MethodWithType(ast.Expression.ClassB.MethodWithType)
MethodType(ast.Ast.MethodType)
Position(ast.Ast.Position)
Member(ast.Expression.ClassB.Member)
ConcreteHeader(ast.Ast.ConcreteHeader)
Aggregations
Ast (ast.Ast)1
ConcreteHeader (ast.Ast.ConcreteHeader)1
Doc (ast.Ast.Doc)1
FieldDec (ast.Ast.FieldDec)1
Header (ast.Ast.Header)1
Mdf (ast.Ast.Mdf)1
MethodSelector (ast.Ast.MethodSelector)1
MethodSelectorX (ast.Ast.MethodSelectorX)1
MethodType (ast.Ast.MethodType)1
Op (ast.Ast.Op)1
Parameters (ast.Ast.Parameters)1
Path (ast.Ast.Path)1
Position (ast.Ast.Position)1
SignalKind (ast.Ast.SignalKind)1
Stage (ast.Ast.Stage)1
Type (ast.Ast.Type)1
VarDec (ast.Ast.VarDec)1
VarDecCE (ast.Ast.VarDecCE)1
VarDecE (ast.Ast.VarDecE)1
VarDecXE (ast.Ast.VarDecXE)1
