@Test public void testGetId() throws Exception { Function f = new Function("f", Type.INT, Type.BOOL); assertEquals("f", f.getId()); }
public final String getId() { return this.id; }
Function extends Element implements TypedElement { public final String getId() { return this.id; } }
Function extends Element implements TypedElement { public final String getId() { return this.id; } Function(final String id, final Type... args); }
Function extends Element implements TypedElement { public final String getId() { return this.id; } Function(final String id, final Type... args); final String getId(); final OperationSequence getBody(); final boolean validateInput(final Variable ... input); final Variable[] getVariables(); final Type[] getArgTypes(); final Type getType(); @Override final String toString(); }
Function extends Element implements TypedElement { public final String getId() { return this.id; } Function(final String id, final Type... args); final String getId(); final OperationSequence getBody(); final boolean validateInput(final Variable ... input); final Variable[] getVariables(); final Type[] getArgTypes(); final Type getType(); @Override final String toString();  }